H. Treseler

Block-diagram based modelling and analysis of hybrid processes under discrete control

Olaf Stursberg, S. Kowalewski, Heinz Treseler, 1998 .

An Open Software Architecture for the Verification of Industrial Controllers

Shuang-Hua Yang, Olaf Stursberg, Paul W. H. Chung, 2001, J. Univers. Comput. Sci..

A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem

Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, 1997, Hybrid Systems.

Approaches to the Formal Verification of Hybrid Systems

Heiko Krumm, Peter Herrmann, Sebastian Engell, 2001 .