1. The verified software initiative: A manifesto;ACM Comput. Surv.,2009
2. “The common vulnerabilities and exposures project.” http://cve.mitre.org/, 2016.
3. An investigation of the Therac-25 accidents
4. The real cost of software errors;IEEE Security & Privacy,2009
5. “Project ypriverol/github-paper, issue #129.” https://github.com/ypriverol/github-paper/issues/129, 2016.