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)
O. Kutz, J. Hastings, und T. Mossakowski. 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Volume 7557 von Lecture Notes in Computer Science, Seite 103-111. Springer, (2012)