D02-04-001_WAIM_Theory_and_verification_instructions.pdf