Clarke, E. M., et al. Model Checking. MIT Press, 1999.
Hobbs, Chris. Embedded Software Development for Safety-Critical Systems.
Holzmann, Gerald. ‘The Power of 10: Rules for Developing Safety-Critical Code’. Computer, vol. 39, no. 6, June 2006, pp. 95–97, https://doi.org/10.1109/MC.2006.212.
Holzmann, Gerard J. ‘Mars Code’. Communications of the ACM, vol. 57, no. 2, Feb. 2014, pp. 64–73, https://doi.org/10.1145/2560217.2560218.
Hovemeyer, David ; Pugh, William. ‘Finding Bugs Is Easy’. ACM SIGPLAN Notices, vol. 39, no. 12, 2004, pp. 92–106, https://doi.org/10.1145/1052883.1052895.
Ian Sommerville. 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. 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. Newnes, 2010, http://victoria.alma.exlibrisgroup.com/view/action/uresolver.do?operation=resolveService&package_service_id=6325573540002386&institutionId=2386&customerId=2385.
Nielson, Flemming, et al. Principles of Program Analysis. Springer, 1999.
