Clarke, E. M., Orna Grumberg, and Doron A. Peled. 1999. Model Checking. MIT Press.
Hobbs, Chris. n.d. Embedded Software Development for Safety-Critical Systems.
Holzmann, Gerald. 2006. ‘The Power of 10: Rules for Developing Safety-Critical Code’. Computer 39 (6): 95–97. https://doi.org/10.1109/MC.2006.212.
Holzmann, Gerard J. 2014. ‘Mars Code’. Communications of the ACM 57 (2): 64–73. https://doi.org/10.1145/2560217.2560218.
Hovemeyer, David ; Pugh, William. 2004. ‘Finding Bugs Is Easy’. ACM SIGPLAN Notices 39 (12): 92–106. https://doi.org/10.1145/1052883.1052895.
Ian Sommerville. n.d. Software Engineering (10th Edition). Pearson; 10 edition. https://www.amazon.com/Software-Engineering-10th-Ian-Sommerville/dp/0133943038/ref=sr_1_1?s=books&ie=UTF8&qid=1521069366&sr=1-1&keywords=sommerville+software+engineering.
Leanna Rierson. n.d. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press; 1 edition. https://www.amazon.com/Developing-Safety-Critical-Software-Practical-Compliance/dp/143981368X.
Mission-Critical and Safety-Critical Systems Handbook. 2010. Newnes. http://victoria.alma.exlibrisgroup.com/view/action/uresolver.do?operation=resolveService&package_service_id=6325573540002386&institutionId=2386&customerId=2385.
Nielson, Flemming, Hanne Riis Nielson, and Chris Hankin. 1999. Principles of Program Analysis. Springer.
