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