@incollection{Farrell2022,
  doi = {10.1007/978-3-030-98464-9_9},
  url = {https://doi.org/10.1007/978-3-030-98464-9_9},
  year = {2022},
  publisher = {Springer International Publishing},
  pages = {96--111},
  author = {Marie Farrell and Matt Luckcuck and Ois{\'{\i}}n Sheridan and Rosemary Monahan},
  title = {{FRETting} About Requirements: Formalised Requirements for~an~Aircraft Engine Controller},
  booktitle = {Requirements Engineering: Foundation for Software Quality},
  note = {[<span class="valu3s">VALU3S</span>]}
}

{"_id":"vALqbQPLwCgjbdkSg","bibbaseid":"farrell-luckcuck-sheridan-monahan-frettingaboutrequirementsformalisedrequirementsforanaircraftenginecontroller-2022","author_short":["Farrell, M.","Luckcuck, M.","Sheridan, O.","Monahan, R."],"bibdata":{"bibtype":"incollection","type":"incollection","doi":"10.1007/978-3-030-98464-9_9","url":"https://doi.org/10.1007/978-3-030-98464-9_9","year":"2022","publisher":"Springer International Publishing","pages":"96–111","author":[{"firstnames":["Marie"],"propositions":[],"lastnames":["Farrell"],"suffixes":[]},{"firstnames":["Matt"],"propositions":[],"lastnames":["Luckcuck"],"suffixes":[]},{"firstnames":["Oisín"],"propositions":[],"lastnames":["Sheridan"],"suffixes":[]},{"firstnames":["Rosemary"],"propositions":[],"lastnames":["Monahan"],"suffixes":[]}],"title":"FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller","booktitle":"Requirements Engineering: Foundation for Software Quality","note":"[<span class=\"valu3s\">VALU3S</span>]","bibtex":"@incollection{Farrell2022,\n doi = {10.1007/978-3-030-98464-9_9},\n url = {https://doi.org/10.1007/978-3-030-98464-9_9},\n year = {2022},\n publisher = {Springer International Publishing},\n pages = {96--111},\n author = {Marie Farrell and Matt Luckcuck and Ois{\\'{\\i}}n Sheridan and Rosemary Monahan},\n title = {{FRETting} About Requirements: Formalised Requirements for~an~Aircraft Engine Controller},\n booktitle = {Requirements Engineering: Foundation for Software Quality},\n note = {[<span class=\"valu3s\">VALU3S</span>]}\n}\n\n","author_short":["Farrell, M.","Luckcuck, M.","Sheridan, O.","Monahan, R."],"key":"Farrell2022","id":"Farrell2022","bibbaseid":"farrell-luckcuck-sheridan-monahan-frettingaboutrequirementsformalisedrequirementsforanaircraftenginecontroller-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-98464-9_9"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"incollection","biburl":"https://raw.githubusercontent.com/autonomy-and-verification/autonomy-and-verification.github.io/master/pubs.bib","dataSources":["iqRbmbCgpDeaBjend","77JvGFZQteoFsRiyX"],"keywords":[],"search_terms":["fretting","requirements","formalised","requirements","aircraft","engine","controller","farrell","luckcuck","sheridan","monahan"],"title":"FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller","year":2022,"downloads":1}