@misc{indiciae178eff42dfcb,
  title = {Formal Methods Case Studies for DO-333},
  author = {Cofer, Darren and Miller, Steven P.},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20140004055},
  note = {Source identifier: 20140004055}
}