@misc{indiciae2c6fa831782b,
  title = {On a Formal Tool for Reasoning About Flight Software Cost Analysis},
  author = {Spagnuolo, John N., Jr. and Stukes, Sherry A.},
  year = {2013},
  url = {https://ntrs.nasa.gov/citations/20130012645},
  note = {Source identifier: 20130012645}
}