@misc{indiciaef3480fe80a82,
  title = {Towards a Compositional SPIN},
  author = {Pasareanu, Corina S. and Giannakopoulou, Dimitra},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20060020115},
  note = {Source identifier: 20060020115}
}