O. Kutz, J. Hastings, and T. Mossakowski. 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, volume 7557 of Lecture Notes in Computer Science, page 103-111. Springer, (2012)
T. Mossakowski, C. Maeder, and K. Lüttich. TACAS 2007, volume 4424 of Lecture Notes in Computer Science, page 519-522. Springer-Verlag Heidelberg, (2007)
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)