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