1. SAE ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International (December 1996)
2. Lecture Notes in Computer Science;P. Bieber,2002
3. Bozzano, M., Villafiorita, A., Kerlund, O., Bieber, P., Bougnol, C., Bde, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Ldtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: Esacs: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003, June 15–18, pp. 237–245. Balkema Publishers, Rotterdam (2003)
4. Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: the fsap / nusmv-sa safety analysis platform. In: Proceedings of SAFE-COMP 2003, Edinburgh, pp. 49–62. Springer, Heidelberg (2003)
5. Dabney, J., Harmon, T.: Mastering Simulink. Prentice Hall, Upper Saddle River (2004)