1. Dahm, W. “Report on technology horizons: A vision for Air Force science & technology during 2010-2030,” Tech. Rep. AF/ST-TR-10-01-PR, Office of the United States Air Force Chief Scientist, 2010.
2. Hansson, J., Helton, S., and Feiler, P. “ROI analysis of the System Architecture Virtual Integration initiative,” Tech. Rep. CMU/SEI-2018-TR-002, Software Engineering Institute, Carnegie Mellon University, 2018.
3. Kalra, N., and Paddock, S. M. “Driving to safety: How many miles of driving would it take to demonstrate autonomous vehicle reliability?” Tech. Rep. RR-1478-RC, RAND Corporation, 2016.
4. Formal Methods and their Role in the Certification of Critical Systems
5. Formal Analysis and Verification of Airborne Software Based on DO-333