Clarke, E.M., Grumberg, O. and Peled, D.A. (1999) Model checking. Cambridge, Mass: MIT Press.
Hobbs, C. (no date) Embedded Software Development for Safety-Critical Systems.
Holzmann, G. (2006) ‘The Power of 10: Rules for Developing Safety-Critical Code’, Computer, 39(6), pp. 95–97. Available at: https://doi.org/10.1109/MC.2006.212.
Holzmann, G.J. (2014) ‘Mars code’, Communications of the ACM, 57(2), pp. 64–73. Available at: https://doi.org/10.1145/2560217.2560218.
Hovemeyer, David ; Pugh, William (2004) ‘Finding bugs is easy’, ACM SIGPLAN Notices, 39(12), pp. 92–106. Available at: https://doi.org/10.1145/1052883.1052895.
Ian Sommerville (no date) Software Engineering (10th Edition). Pearson; 10 edition. Available at: 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 (no date) Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press; 1 edition. Available at: https://www.amazon.com/Developing-Safety-Critical-Software-Practical-Compliance/dp/143981368X.
Mission-critical and safety-critical systems handbook (2010). Amsterdam: Newnes. Available at: http://victoria.alma.exlibrisgroup.com/view/action/uresolver.do?operation=resolveService&package_service_id=6325573540002386&institutionId=2386&customerId=2385.
Nielson, F., Nielson, H.R. and Hankin, C. (1999) Principles of program analysis. Berlin: Springer.
