@inproceedings(basu2021aaai,
 author       = {Kinjal Basu et. al},
 year         = {2021},
 title        = {Knowledge-driven Natural Language Understanding of English Text and its Applications},
 booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, 2021},
 publisher    = {{AAAI} Press},
 pages        = {12554--12563},
)
@article(arias2018constraint,
 author       = {Joaqu{\'i}n Arias and Manuel Carro and Elmer Salazar and Kyle Marple and Gopal Gupta},
 year         = {2018},
 title        = {Constraint answer set programming without grounding},
 journal      = {TPLP},
 volume       = {18(3-4):337-354},
 doi          = {10.1017/S1471068418000285},
)
@inproceedings(arias2019modeling-short,
 author       = {Joaqu{\'i}n et al. Arias},
 year         = {2019},
 title        = {Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming},
 booktitle    = {LOPSTR'19},
 organization = {Springer},
 pages        = {139--155},
 doi          = {10.1007/978-3-030-45260-5\_9},
)
@book(baral,
 author       = {C. Baral},
 year         = {2003},
 title        = {Knowledge representation, reasoning and declarative problem solving},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511543357},
)
@inproceedings(bhatt2018clearfide,
 author       = {Devesh Bhatt and Brendan Hall},
 year         = {2018},
 title        = {The CLEAR Way To Transparent Formal Methods},
 booktitle    = {4th Workshop on Formal Integrated Development Environment (F-IDE), FLoC 2018},
)
@inproceedings(davis2013study,
 author       = {Jennifer Davis},
 year         = {2013},
 title        = {Study on the barriers to the industrial adoption of formal methods},
 booktitle    = {International Workshop on Formal Methods for Industrial Critical Systems},
 organization = {Springer},
 pages        = {63--77},
 doi          = {10.1007/978-3-642-41010-9\_5},
)
@incollection(dori2011object,
 author       = {Dov Dori},
 year         = {2011},
 title        = {Object-process methodology},
 booktitle    = {Encyclopedia of Knowledge Management, Second Edition},
 publisher    = {IGI Global},
 pages        = {1208--1220},
 doi          = {10.4018/978-1-59904-931-1.ch116},
)
@article(clingo,
 author       = {Martin Gebser},
 year         = {2011},
 title        = {Potassco: The Potsdam answer set solving collection},
 journal      = {Ai Communications},
 volume       = {24},
 number       = {2},
 pages        = {107--124},
 doi          = {10.3233/AIC-2011-0491},
)
@book(gelfond2014knowledge,
 author       = {M. Gelfond and Y. Kahl},
 year         = {2014},
 title        = {Knowledge representation, reasoning, \& design of intelligent agents: The answer-set programming approach},
 publisher    = {Cambridge Univ. Press},
 doi          = {10.1017/CBO9781139342124},
)
@inproceedings(hall2018clear,
 author       = {B. Hall and D. Bhatt},
 year         = {2018},
 title        = {A CLEAR Adoption of EARS},
 booktitle    = {IEEE EARS Workshop},
 pages        = {14--15},
 doi          = {10.1109/EARS.2018.00010},
)
@inproceedings(hall2020model,
 author       = {B. Hall and J. Fiedor and Y Jeppu},
 year         = {2020},
 title        = {Model Integrated Decomposition and Assisted Specification (MIDAS)},
 booktitle    = {INCOSE Int'l Symp.},
 volume       = {30(1)},
 organization = {Wiley},
 pages        = {821--841},
)
@article(harman65,
 author       = {G. H. Harman},
 year         = {1965},
 title        = {The Inference to the Best Explanation},
 journal      = {The Philosophical Review},
 volume       = {74},
 number       = {1},
 pages        = {88--95},
 doi          = {10.2307/2183532},
)
@inproceedings(mavin2010big,
 author       = {Alistair Mavin and Philip Wilkinson},
 year         = {2010},
 title        = {Big ears (the return of" easy approach to requirements engineering")},
 booktitle    = {2010 18th IEEE International Requirements Engineering Conference},
 organization = {IEEE},
 pages        = {277--282},
 doi          = {10.1109/RE.2010.39},
)
@inproceedings(mavin2009easy,
 author       = {Alistair Mavin},
 year         = {2009},
 title        = {Easy approach to requirements syntax (EARS)},
 booktitle    = {2009 17th IEEE International Requirements Engineering Conference},
 organization = {IEEE},
 pages        = {317--322},
 doi          = {10.1109/RE.2009.9},
)
@inproceedings(mavin2016listens,
 author       = {Alistair Mavin},
 year         = {2016},
 title        = {Listens learned (8 lessons learned applying EARS)},
 booktitle    = {2016 IEEE 24th International Requirements Engineering Conference (RE)},
 organization = {IEEE},
 pages        = {276--282},
 doi          = {10.1109/RE.2016.38},
)
@book(micouin2014model,
 author       = {Patrice Micouin},
 year         = {2014},
 title        = {Model Based Systems Engineering: Fundamentals and Methods},
 publisher    = {John Wiley \& Sons},
 doi          = {10.1002/9781118579435},
)
@book(mueller_book,
 author       = {Erik T. Mueller},
 year         = {2014},
 title        = {Common Sense Reasoning: An Event Calculus Based Approach (2nd Edition)},
 publisher    = {Morgan Kaufmann},
)
@article(normand1996single,
 author       = {Eugene Normand},
 year         = {1996},
 title        = {Single-event effects in avionics},
 journal      = {IEEE Transactions on nuclear science},
 volume       = {43},
 number       = {2},
 pages        = {461--474},
 doi          = {10.1109/23.490893},
)
@article(sergot1986logic,
 author       = {M Sergot and R Kowalski},
 year         = {1986},
 title        = {A logic-based calculus of events},
 journal      = {New Generation Computing},
 volume       = {4},
 number       = {1},
 pages        = {67--95},
 doi          = {10.1007/BF03037383},
)
@incollection(shanahan1999event,
 author       = {Murray Shanahan},
 year         = {1999},
 title        = {The event calculus explained},
 booktitle    = {Artificial intelligence today},
 publisher    = {Springer},
 pages        = {409--430},
 doi          = {10.1007/3-540-48317-9\_17},
)
@misc(a400mseville,
 author       = {WikePedia},
 title        = {2015 Seville {A}irbus {A400M} crash},
 howpublished = {\url{https://en.wikipedia.org/wiki/2015_Seville_Airbus_A400M_crash}},
)