@article(actr,
 author       = {John R Anderson and Michael Matessa and Christian Lebiere},
 year         = {1997},
 title        = {ACT-R: A theory of higher level cognition and its relation to visual attention},
 journal      = {Human--Computer Interaction},
 volume       = {12},
 number       = {4},
 pages        = {439--462},
 doi          = {10.1207/s15327051hci1204\_5},
)
@inproceedings(NfmBhattacharyya,
 author       = {S. Bhattacharyya and N. Neogi and T. Eskridge and M. Carvalho and M. Stafford},
 year         = {2018},
 title        = {Formal Assurance for Cooperative Intelligent Agents},
 booktitle    = {NASA Formal Methods Symposium LNCS},
 volume       = {10811},
 doi          = {10.1007/978-3-319-77935-5\_2},
)
@book(mycin,
 author       = {B. G. Buchanan and E. H. Shortliffe},
 year         = {1984},
 title        = {Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley Series in Artificial Intelligence)},
 publisher    = {Addison-Wesley Longman Publishing Co., Inc.},
 address      = {Boston, MA, USA},
)
@inproceedings(cavada2014,
 author       = {R. Cavada},
 year         = {2014},
 title        = {The NUXMV Symbolic Model Checker},
 booktitle    = {CAV},
 pages        = {334--342},
 doi          = {10.1007/978-3-319-08867-9\_22},
)
@book(feilerAADLbook,
 author       = {Peter H. Feiler and David P. Gluch},
 year         = {2012},
 title        = {Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis \& Design Language},
 edition      = {1st},
 publisher    = {Addison-Wesley Professional},
)
@incollection(flin2017,
 author       = {Rhona Flin and Lynne Martin and Klaus-Martin Goeters and Hans-J{\"u}rgen H{\"o}rmann and Ren{\'e} Amalberti and Claude Valot and Herman Nijhuis},
 year         = {2018},
 title        = {Development of the NOTECHS (non-technical skills) system for assessing pilots\IeC{\textquoteright} CRM skills},
 booktitle    = {Human factors and aerospace safety},
 publisher    = {Routledge},
 pages        = {97--119},
 doi          = {10.4324/9781315194035-1},
)
@inproceedings(JKind,
 author       = {A. Gacek and J. Backes and M. Whalen and L. Wagner and E. Ghassabani},
 year         = {2018},
 title        = {The JKind Model Checker},
 booktitle    = {Computer Aided Verification},
 doi          = {10.1007/978-3-540-24730-2\_3},
)
@inproceedings(Gregory_uam,
 author       = {Irene M Gregory and et al.},
 year         = {2020},
 title        = {Intelligent Contingency Management for Urban Air Mobility.},
 booktitle    = {Dynamic Data Driven Applications Systems. DDDAS 2020. Lecture Notes in Computer Science,},
 doi          = {10.1007/978-3-030-61725-7\_5},
)
@book(soar,
 author       = {J.E. Laird},
 year         = {2012},
 title        = {The SOAR Cognitive Architecture},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/7688.001.0001},
)
@inproceedings(Langenfeld2019OnFV,
 author       = {Vincent Langenfeld and B. Westphal and A. Podelski},
 year         = {2019},
 title        = {On Formal Verification of ACT-R Architectures and Models},
 booktitle    = {CogSci},
 pages        = {618--624},
)
@inproceedings(crm,
 author       = {Michael Matessa},
 year         = {2017},
 title        = {Using a crew resource management framework to develop human-autonomy teaming measures},
 booktitle    = {International Conference on Applied Human Factors and Ergonomics},
 organization = {Springer},
 pages        = {46--57},
 doi          = {10.1007/978-3-319-60642-2\_5},
)
@inproceedings(Z3,
 author       = {L. De Moura and Bj{\o}rner, N.},
 year         = {2008},
 title        = {Z3: An Efficient {SMT} Solver},
 booktitle    = {Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {TACAS'08/ETAPS'08},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3\_24},
)
@inproceedings(Neogi2016CapturingSR,
 author       = {Natasha A. Neogi},
 year         = {2016},
 title        = {Capturing Safety Requirements to Enable Effective Task Allocation Between Humans and Automaton in Increasingly Autonomous Systems},
 doi          = {10.2514/6.2016-3594},
)
@inproceedings(gps,
 author       = {A. Newell and J. C. Shaw and H. A. Simon},
 year         = {1959},
 title        = {Report on a general problem-solving program},
 booktitle    = {Proceedings of the International Conference on Information Processing},
 pages        = {256--264},
)
@article(runeson08,
 author       = {Per Runeson and Martin H{\"o}st},
 year         = {2008},
 title        = {Guidelines for conducting and reporting case study research in software engineering},
 journal      = {Empirical Software Engineering},
 volume       = {14},
 number       = {2},
 pages        = {131},
 doi          = {10.1007/s10664-008-9102-8},
)
@inproceedings(shively2018,
 author       = {Robert J Shively and Joel Lachter and Robert Koteskey and Summer L Brandt},
 year         = {2018},
 title        = {Crew resource management for automated teammates (CRM-A)},
 booktitle    = {International Conference on Engineering Psychology and Cognitive Ergonomics},
 organization = {Springer},
 pages        = {215--229},
 doi          = {10.1007/978-3-319-91122-9\_19},
)
@inproceedings(StewartAMASE,
 author       = {D. Stewart and J. Liu and D. Cofer and M. Heimdahl and M. Whalen and M. Peterson},
 year         = {2020},
 title        = {Safety Annex for the Architecture Analysis and Design Language},
 booktitle    = {2020 Embedded Real Time Systems Conference},
)
@inproceedings(taylor2018,
 author       = {Aysen K Taylor},
 year         = {2018},
 title        = {Crew Resource Management Doctrine Applicability to Human-Machine Interaction in Commercial Aircraft},
 booktitle    = {International Conference on Intelligent Human Systems Integration},
 organization = {Springer},
 pages        = {564--570},
 doi          = {10.1007/978-3-319-73888-8\_88},
)
@inproceedings(taylor2017,
 author       = {Aysen K. Taylor and T. Steven Cotter},
 year         = {2017},
 title        = {Do age and experience level affect views of pilots\IeC{\textquoteright} towards cockpit automation},
 booktitle    = {International Conference on Applied Human Factors and Ergonomics},
 organization = {Springer},
 pages        = {303--313},
 doi          = {10.1007/978-3-319-60366-7\_29},
)
@inproceedings(uam,
 author       = {David P Thipphavong and Rafael Apaza and Bryan Barmore and Vernol Battiste and Barbara Burian and Quang Dao and Michael Feary and Susie Go and Kenneth H Goodrich and Jeffrey Homola},
 year         = {2018},
 title        = {Urban air mobility airspace integration concepts and considerations},
 booktitle    = {2018 Aviation Technology, Integration, and Operations Conference},
 pages        = {3676},
 doi          = {10.2514/6.2018-3676},
)
@article(AGREE-paper,
 author       = {M. W. {Whalen} and A. {Gacek} and D. {Cofer} and A. {Murugesan} and M. P. E. {Heimdahl} and S. {Rayadurgam}},
 year         = {2013},
 title        = {Your "What" Is My "How": Iteration and Hierarchy in System Design},
 journal      = {IEEE Software},
 volume       = {30},
 number       = {2},
 pages        = {54--60},
 doi          = {10.1109/MS.2012.173},
)