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