@misc{indiciae20225d988148,
  title = {Formalizing and Analyzing Requirements with FRET},
  author = {Mavridou, Anastasia},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20190033279},
  note = {Source identifier: 20190033279}
}