@misc{indiciae842f795e1d52,
  title = {Ten Commandments of Formal Methods...Ten Years Later},
  author = {Bowen, Jonathan P. and Hinchey, Michael G.},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060024507},
  note = {Source identifier: 20060024507}
}