@InProceedings{jantsch:OASIcs.ASD.2019.6,
  author =	{Jantsch, Axel},
  title =	{{Towards a Formal Model of Recursive Self-Reflection}},
  booktitle =	{Workshop on Autonomous Systems Design (ASD 2019)},
  pages =	{6:1--6:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-102-3},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{68},
  editor =	{Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.6},
  URN =		{urn:nbn:de:0030-drops-103395},
  doi =		{10.4230/OASIcs.ASD.2019.6},
  annote =	{Keywords: Cyber-physical systems, self-aware systems, self-reflection, self-assessment}
}