1. Lecture Notes in Mobility;Schoitsch E.,2015
2. An analysis of selected software safety standards
3. Radio Technical Commission for Aeronautics, DO-178C/ED-12C Software Considerations in Airborne Systems and Equipment Certification, RTCA, Washington, D.C., 2011.
4. Radio Technical Commission for Aeronautics, DO-331/ED-218 Model-Based Development and Verification Supplement to DO-178C and DO-278A, RTCA, Washington, D.C., 2011.