[1]	Elke Pulvermüller. Verifikation von Komponenten-basierten Systemen auf Basis eines erweiterten temporalen Verifikationsverfahrens. PhD thesis, Friedrich-Schiller-Universität Jena, January 2006. [ bib ]
[2]	Jutta Göers. Ein neues Konzept zur integrierten CIM-Informationsverwaltung und seine Realisierung am Beispiel eines CAD- und Objektbanksystems. PhD thesis, Technische Universität Clausthal-Zellerfeld, 1993. [ bib ]