1. RTCA DO-178C: Software considerations in airborne systems and equipment certification, Washington, DC (2011)
2. Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41, 19 (2009)
3. RTCA DO-333: Formal methods supplement to DO-178C and DO-278A, Washington, DC (2011)
4. RTCA DO-330: Software tool qualification considerations, Washington, DC (2011)
5. Lecture Notes in Computer Science;D Cofer,2014