D03-01-001_Theory_and_verification_instructions.pdf