@misc{indiciae313553cbc209,
  title = {Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software},
  author = {Carlos Mao de Ferro and Anastasia Mavridou and Michael Dille and Francisco Martins},
  url = {https://ntrs.nasa.gov/citations/20230005275},
  note = {Source identifier: 20230005275}
}