@misc{indiciae9724e8e7cf39,
  title = {Spot: A Programming Language for Verified Flight Software},
  author = {Bocchino, Rob and Gamble, Ed and Gostelow, Kim and Som, Rafi},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20160009654},
  note = {Source identifier: 20160009654}
}