@book{Clarke_Grumberg_Peled_1999, address={Cambridge, Mass}, title={Model checking}, publisher={MIT Press}, author={Clarke, E. M. and Grumberg, Orna and Peled, Doron A.}, year={1999} }
@book{Hobbs, title={Embedded Software Development for Safety-Critical Systems}, author={Hobbs, Chris} }
@article{Holzmann_2006, title={The Power of 10: Rules for Developing Safety-Critical Code}, volume={39}, DOI={10.1109/MC.2006.212}, number={6}, journal={Computer}, author={Holzmann, Gerald}, year={2006}, month=june, pages={95–97} }
@article{Holzmann_2014, title={Mars code}, volume={57}, DOI={10.1145/2560217.2560218}, number={2}, journal={Communications of the ACM}, author={Holzmann, Gerard J.}, year={2014}, month=feb, pages={64–73} }
@article{Hovemeyer, David ; Pugh, William_2004, title={Finding bugs is easy}, volume={39}, url={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}, DOI={10.1145/1052883.1052895}, number={12}, journal={ACM SIGPLAN Notices}, author={Hovemeyer, David ; Pugh, William}, year={2004}, pages={92–106} }
@book{Ian Sommerville, title={Software Engineering (10th Edition)}, url={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}, publisher={Pearson; 10 edition}, author={Ian Sommerville} }
@book{Leanna Rierson, title={Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance}, url={https://www.amazon.com/Developing-Safety-Critical-Software-Practical-Compliance/dp/143981368X}, publisher={CRC Press; 1 edition}, author={Leanna Rierson} }
@book{Nielson_Nielson_Hankin_1999, address={Berlin}, title={Principles of program analysis}, publisher={Springer}, author={Nielson, Flemming and Nielson, Hanne Riis and Hankin, Chris}, year={1999} }
@book{Mission-critical and safety-critical systems handbook_2010, address={Amsterdam}, url={http://victoria.alma.exlibrisgroup.com/view/action/uresolver.do?operation=resolveService&package_service_id=6325573540002386&institutionId=2386&customerId=2385}, publisher={Newnes}, year={2010} }
