Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. MIT Press.
Hobbs, C. (n.d.). Embedded Software Development for Safety-Critical Systems.
Holzmann, G. (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, G. 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, F., Nielson, H. R., & Hankin, C. (1999). Principles of program analysis. Springer.
