1. Alur R (2015) Principles of cyber-physical systems. MIT Press, Cambridge
2. Bitkom (2020) Vorschlag zur systematischen Klassifikation von Interaktionen in Industrie 4.0 Systemen – Hinführung zu einem Referenzmodell für semantische Interoperabilität (White paper)
3. Bundesministerium für Wirtschaft und Energie (BMWI) (2020) Verwaltungsschale in der Praxis: Wie definiere ich Teilmodelle, beispielhafte Teilmodelle und Interaktion zwischen Verwaltungsschalen (Version 1.0)
4. Cardelli L, Wegner P (1985) On understanding types, data abstraction, and polymorphism. ACM Comput Surv 17(4):471–523
5. Church A (1936) An unsolvable problem of elementary number theory. Am J Math 58:345–363