@misc{indiciae24bc3299862b,
  title = {Model Based Analysis and Test Generation for Flight Software},
  author = {Pasareanu, Corina S. and Schumann, Johann M. and Mehlitz, Peter C. and Lowry, Mike R. and Karsai, Gabor and Nine, Harmon and Neema, Sandeep},
  year = {2009},
  url = {https://ntrs.nasa.gov/citations/20090036803},
  note = {Source identifier: 20090036803}
}