@misc{indiciae7374af9b0383,
  title = {Integrating Realizability Checking in FRET},
  author = {Kooi, David and Mavridou, Anastasia},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20190033980},
  note = {Source identifier: 20190033980}
}