@misc{indiciae22a00906bd20,
  title = {Formal Requirements Elicitation With Fret},
  author = {Anastasia Mavridou},
  url = {https://ntrs.nasa.gov/citations/20230013603},
  note = {Source identifier: 20230013603}
}