@misc{indiciae92cf08c33001,
  title = {Analyzing the Core Flight Software (CFS) with SAVE},
  author = {Ganesan, Dharmalingam and Lindvall, Mikael and McComas, David},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20090004613},
  note = {Source identifier: 20090004613}
}