@misc{indiciaee5c7b21a9340,
  title = {Software Certification - Coding, Code, and Coders},
  author = {Havelund, Klaus and Holzmann, Gerard J.},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20150006916},
  note = {Source identifier: 20150006916}
}