1. Lions, J.L., Lbeck, L., Fauquembergue, J.L., Kahn, G., Kubbat, W., Levedag, S., Mazzini, L., Merle, D., O’Halloran, C.: Ariane 5, flight 501 failure, report by the inquiry board. Technical report, CNES (1996)
2. Hoffman, E.J., Ebert, W.L., Femiano, M.D., Freeman, H.R., Gay, C.J., Jones, C.P., Luers, P.J., Palmer, J.G.: The near rendezvous burn anomaly of december 1998. Technical report, Johns Hopkins University (1999)
3. Oss, D.G.V.: Computer software in civil aircraft. In: Digital Avionics Systems Conference, 1991. Proceedings., IEEE/AIAA 10th, IEEE pp. 324–330. (1991)
4. Tripakis, S., Dang, T.: Modeling, verification and testing using timed and hybrid automata. In: Model-Based Design for Embedded Systems. CRC Press (2009)
5. Kapinski, J., Deshmukh, J., Jin, X., Ito, H., Butts, K.: Simulation-guided approaches for verification of automotive powertrain control systems. In: American Control Conference (ACC), 2015, IEEE, pp. 4086–4095 (2015)