Sommerville-Software-Engineering-10ed

372 Chapter 12 ■ Safety engineering
Souyris, J., V. Weils, D. Delmas, and H. Delseny. 2009. “Formal Verification of Avionics Software
Products.” In Formal Methods’09: Proceedings of the 2nd World Congress on Formal Methods,
532–546. Springer-Verlag. doi:10.1007/978-3-642-05089-3_34.
Storey, N. 1996. Safety-Critical Computer Systems. Harlow, UK: Addison-Wesley.
Veras, P. C., E. Villani, A. M. Ambrosio, N. Silva, M. Vieira, and H. Madeira. 2010. “Errors in Space
Software Requirements: A Field Study and Application Scenarios.” In 21st Int. Symp. on Software
Reliability Engineering. San Jose, CA. doi:10.1109/ISSRE.2010.37.
Zheng, J., L. Williams, N. Nagappan, W. Snipes, J. P. Hudepohl, and M. A. Vouk. 2006. “On the Value
of Static Analysis for Fault Detection in Software.” IEEE Trans. on Software Eng. 32 (4): 240–253.
doi:10.1109/TSE.2006.38.