@inproceedings{AJKMRJ26,
  title={From Natural Language Requirements to Runtime Monitors for Resource-Constrained Systems: Integrating FRET and R2U2},
  author={Aurandt, Alexis, and Johannsen, Christopher, and Katis, Andreas, and Mavridou, Anastasia, and Rozier, Kristin Yvonne and Jones, Phillip H.},
  booktitle={NASA Formal Methods Symposium},
  year={2026},
  organization={Springer}
}