Clarke, EM, Orna Grumberg and Doron A Peled, 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’ (2006) 39(6) Computer 95
Holzmann, Gerard J, ‘Mars Code’ (2014) 57(2) Communications of the ACM 64
Hovemeyer, David ; Pugh, William, ‘Finding Bugs Is Easy’ (2004) 39(12) ACM SIGPLAN Notices 92 <http://tewaharoa.victoria.ac.nz/primo_library/libweb/action/display.do;jsessionid=062762D966820DE5647C4B064EFB7DCA?frbrVersion=5&tabs=viewOnlineTab&ct=display&fn=search&doc=TN_proquest29372897&indx=1&recIds=TN_proquest29372897&recIdxs=0&elementId=0&renderMode=poppedOut&displayMode=full&frbrVersion=5&vid=VUW&mode=Basic&mulExcFctN=facet_rtype&mulExcFctN=facet_rtype&fctExcV=reviews&fctExcV=newspaper_articles&tab=all&rfnExcGrp=%3F&rfnExcGrp=%3F&dscnt=0&vl(freeText0)=finding%20bugs%20is%20easy&dstmp=1468801836622>
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, Hanne Riis Nielson and Chris Hankin, Principles of Program Analysis (Springer, 1999)
