K. Lüttich, B. Krieg-Brückner, und T. Mossakowski. FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, Seite 109-119. (2004)
M. Codescu, D. Vale, O. Kutz, und T. Mossakowski. Terra Cognita 2012: Foundations, Technologies and Applications of the Geospatial Web, Volume 901 von CEUR-WS online proceedings, Seite 62-73. (2012)