@misc{indiciaec022abdc3298,
  title = {FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller},
  author = {Marie Farrell and Matt Luckcuck and Oisin Sheridan and Rosemary Monahan},
  year = {2022},
  doi = {10.1007/978-3-030-98464-9\_9},
  url = {https://arxiv.org/abs/2112.04251},
  note = {Source identifier: 2112.04251}
}