@techreport(ibm2005architectural,
 year         = {2005},
 title        = {An Architectural Blueprint for Autonomic Computing},
 type         = {White Paper},
 institution  = {IBM},
)
@inproceedings(agrawal2021explaining,
 author       = {Ankit Agrawal and Cleland-Huang, Jane},
 year         = {2021},
 title        = {Explaining Autonomous Decisions in Swarms of Human-on-the-Loop Small Unmanned Aerial Systems},
 booktitle    = {Proceedings of the AAAI Conference on Human Computation and Crowdsourcing},
 volume       = {9},
 pages        = {15--26},
 url          = {https://ojs.aaai.org/index.php/HCOMP/article/view/18936},
)
@inproceedings(BHRS22,
 author       = {Astrid Rakow Akhila Bairy, Willem Hagemann and Maike Schwammberger},
 year         = {2022},
 title        = {Towards formal concepts for explanation timing and justifications},
 booktitle    = {2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)},
)
@article(AD94,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(anjomshoae2019explainable,
 author       = {Sule Anjomshoae and Amro Najjar and Davide Calvaresi and Kary Fr{\"a}mling},
 year         = {2019},
 title        = {Explainable agents and robots: Results from a systematic literature review},
 booktitle    = {18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), Montreal, Canada, May 13--17, 2019},
 organization = {International Foundation for Autonomous Agents and Multiagent Systems},
 pages        = {1078--1088},
 doi          = {10.5555/3306127.3331806},
)
@inproceedings(BS19,
 author       = {Christopher Bischopink and Maike Schwammberger},
 year         = {2019},
 title        = {Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections},
 editor       = {Emil Sekerinski and Nelma Moreira and Jos{\'{e}} N. Oliveira and Daniel Ratiu and Riccardo Guidotti and Marie Farrell and Matt Luckcuck and Diego Marmsoler and Jos{\'{e}} Campos and Troy Astarte and Laure Gonnord and Antonio Cerone and Luis Couto and Brijesh Dongol and Martin Kutrib and Pedro Monteiro and David Delmas},
 booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12232},
 publisher    = {Springer},
 pages        = {249--264},
 doi          = {10.1007/978-3-030-54994-7\_18},
)
@inproceedings(Betal19,
 author       = {Mathias Blumreiter and Joel Greenyer and Francisco Javier Chiyah Garcia and Verena Kl{\"{o}}s and Maike Schwammberger and Christoph Sommer and Andreas Vogelsang and Andreas Wortmann},
 year         = {2019},
 title        = {Towards Self-Explainable Cyber-Physical Systems},
 booktitle    = {22nd {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems Companion},
 pages        = {543--548},
 doi          = {10.1109/MODELS-C.2019.00084},
)
@inproceedings(Getal18,
 author       = {Chiyah Garcia, Francisco Javier and David A. Robb and Xingkun Liu and Atanas Laskov and Pedro Patron and Helen Hastie},
 year         = {2018},
 title        = {Explainable Autonomy: A Study of Explanation Styles for Building Clear Mental Models},
 booktitle    = {Proceedings of the 11th International Conference on Natural Language Generation},
 publisher    = {Association for Computational Linguistics},
 address      = {Tilburg University, The Netherlands},
 pages        = {99--108},
 doi          = {10.18653/v1/W18-6511},
 url          = {https://www.aclweb.org/anthology/W18-6511},
)
@book(reqeng17,
 author       = {Jeremy Dick and M. Elizabeth C. Hull and Ken Jackson},
 year         = {2017},
 title        = {Requirements Engineering, 4th Edition},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-61073-3},
)
@inproceedings(FLSM22,
 author       = {Marie Farrell and Matt Luckcuck and Ois{\'{\i}}n Sheridan and Rosemary Monahan},
 year         = {2022},
 title        = {FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller},
 editor       = {Vincenzo Gervasi and Andreas Vogelsang},
 booktitle    = {Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, {REFSQ} 2022, Birmingham, UK, March 21-24, 2022, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {13216},
 publisher    = {Springer},
 pages        = {96--111},
 doi          = {10.1007/978-3-030-98464-9\_9},
)
@inproceedings(goebel2018explainable,
 author       = {Randy Goebel and Ajay Chander and Katharina Holzinger and Freddy Lecue and Zeynep Akata and Simone Stumpf and Peter Kieseberg and Andreas Holzinger},
 year         = {2018},
 title        = {Explainable AI: the new 42?},
 booktitle    = {International cross-domain conference for machine learning and knowledge extraction},
 organization = {Springer},
 pages        = {295--303},
 doi          = {10.1007/978-3-319-99740-7\_21},
)
@inproceedings(FFD22,
 author       = {Goerschwin Fey, Martin Fränzle and Rolf Drechsler},
 year         = {2022},
 title        = {Self-Explanation in Systems of Systems},
 booktitle    = {2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)},
)
@article(greenyer2019explainable,
 author       = {Joel Greenyer and Malte Lochau and Thomas Vogel},
 year         = {2019},
 title        = {Explainable software for cyber-physical systems (es4cps): Report from the gi dagstuhl seminar 19023, january 06-11 2019, schloss dagstuhl},
 journal      = {arXiv:1904.11851},
 doi          = {10.48550/arXiv.1904.11851},
)
@inproceedings(Holzinger2022,
 author       = {Andreas Holzinger and Anna Saranti and Christoph Molnar and Przemyslaw Biecek and Wojciech Samek},
 year         = {2020},
 title        = {Explainable {AI} Methods - {A} Brief Overview},
 editor       = {Andreas Holzinger and Randy Goebel and Ruth Fong and Taesup Moon and Klaus{-}Robert M{\"{u}}ller and Wojciech Samek},
 booktitle    = {xxAI - Beyond Explainable {AI} - International Workshop, Held in Conjunction with {ICML} 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {13200},
 publisher    = {Springer},
 pages        = {13--38},
 doi          = {10.1007/978-3-031-04083-2\_2},
)
@inproceedings(CDF22,
 author       = {Joe Collenette, Louise Dennis and Michael Fisher},
 year         = {2022},
 title        = {Advising Autonomous Cars about the Rules of the Road},
 booktitle    = {Proceedings of the Fourth Workshop on Formal Methods for Autonomous Systems, {FMAS@SEFM'22}, 26th-27th of September 2022},
 series       = {{EPTCS}},
)
@article(Ketal15,
 author       = {Jeamin Koo and Jungsuk Kwac and Wendy Ju and Martin Steinert and Larry Leifer and Clifford Nass},
 year         = {2015},
 title        = {Why did my car just do that? Explaining semi-autonomous driving actions to improve driver understanding, trust, and performance},
 journal      = {International Journal on Interactive Design and Manufacturing (IJIDeM)},
 volume       = {9},
 number       = {4},
 pages        = {269--275},
 doi          = {10.1007/s12008-014-0227-2},
)
@article(KA97,
 author       = {Douglas S. Krull and Craig A. Anderson},
 year         = {1997},
 title        = {The Process of Explanation},
 journal      = {Current Directions in Psychological Science},
 volume       = {6},
 number       = {1},
 pages        = {1--5},
 doi          = {10.1111/1467-8721.ep11512447},
)
@inproceedings(Ketal19,
 author       = {Maximilian A. Köhl and Kevin Baum and Markus Langer and Daniel Oster and Timo Speith and Dimitri Bohlender},
 year         = {2019},
 title        = {Explainability as a Non-Functional Requirement},
 booktitle    = {2019 IEEE 27th International Requirements Engineering Conference (RE)},
 pages        = {363--368},
 doi          = {10.1109/RE.2019.00046},
)
@inproceedings(LDA09,
 author       = {Brian Y. Lim and Anind K. Dey and Daniel Avrahami},
 year         = {2009},
 title        = {Why and Why Not Explanations Improve the Intelligibility of Context-Aware Intelligent Systems},
 booktitle    = {Proceedings of the SIGCHI Conference on Human Factors in Computing Systems},
 series       = {CHI '09},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {2119–2128},
 doi          = {10.1145/1518701.1519023},
)
@inproceedings(plambeck2022,
 author       = {Swantje Plambeck and G{\"o}rschwin Fey and Jakob Schyga and Johannes Hinckeldeyn and Jochen Kreutzfeldt},
 year         = {2022},
 title        = {Explaining Cyber-Physical Systems Using Decision Trees},
 booktitle    = {2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)},
 doi          = {10.1109/CAADCPS56132.2022.00006},
 url          = {https://conferences.computer.org/cpsiot/pdfs/CAADCPS2022-5TICzWIXsIbzy5ctgEfHPL/820100a003/820100a003.pdf},
)
@inproceedings(R11,
 author       = {Aarne Ranta},
 year         = {2011},
 title        = {Translating between Language and Logic: What Is Easy and What Is Difficult},
 editor       = {Bj{\o}rner, Nikolaj and Sofronie{-}Stokkermans, Viorica},
 booktitle    = {Automated Deduction - {CADE-23} - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6803},
 publisher    = {Springer},
 pages        = {5--25},
 doi          = {10.1007/978-3-642-22438-6\_3},
)
@inproceedings(Sadeghi21,
 author       = {Mersedeh Sadeghi and Verena Kl{\"o}s and Andreas Vogelsang},
 year         = {2021},
 title        = {Cases for Explainable Software Systems: Characteristics and Examples},
 booktitle    = {IEEE 29th International Requirements Engineering Conference Workshops (REW)},
 pages        = {181--187},
 doi          = {10.1109/REW53955.2021.00033},
)
@article(Sch18-TCS,
 author       = {Maike Schwammberger},
 year         = {2018},
 title        = {An abstract model for proving safety of autonomous urban traffic},
 journal      = {Theoretical Computer Science},
 volume       = {744},
 pages        = {143--169},
 doi          = {10.1016/j.tcs.2018.05.028},
)
@inproceedings(Sch21-quest,
 author       = {Maike Schwammberger},
 year         = {2021},
 title        = {A Quest of Self-Explainability: When Causal Diagrams meet Autonomous Urban Traffic Manoeuvres},
 booktitle    = {2021 IEEE 29th International Requirements Engineering Conference Workshops (REW)},
 pages        = {195--199},
 doi          = {10.1109/REW53955.2021.00035},
)
@inproceedings(Weiser81,
 author       = {Mark Weiser},
 year         = {1981},
 title        = {Program Slicing},
 booktitle    = {Proceedings of the 5th International Conference on Software Engineering},
 series       = {ICSE '81},
 publisher    = {IEEE Press},
 pages        = {439–449},
 doi          = {10.1109/TSE.1984.5010248},
)
@article(weyns2021research,
 author       = {Danny Weyns and Jesper Andersson and Mauro Caporuscio and Francesco Flammini and Andreas Kerren and Welf L\"{o}we},
 year         = {2021},
 title        = {A Research Agenda for Smarter Cyber-Physical Systems},
 journal      = {J. Integr. Des. Process Sci.},
 volume       = {25},
 number       = {2},
 pages        = {27–47},
 doi          = {10.3233/JID210010},
)
@inproceedings(Wickens01,
 author       = {Christopher D. Wickens and John Helleberg and Juliana Goh and Xidong Xu and William J. Horrey},
 year         = {2001},
 title        = {Pilot Task Management : Testing an Attentional Expected Value Model of Visual Scanning},
 url          = {http://apps.usd.edu/coglab/schieber/psyc792/workload/Wickens-etal-2001.pdf},
)
@inproceedings(Ziesche21,
 author       = {Florian Ziesche and Verena Kl{\"o}s and Sabine Glesner},
 year         = {2021},
 title        = {Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems},
 booktitle    = {Design, Automation Test in Europe Conference Exhibition (DATE)},
 pages        = {1304--1309},
 doi          = {10.23919/DATE51398.2021.9474232},
)