A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. - Stefan Kowalewski; Olaf Stursberg; Martin Fritz; Holger Graf; Ingo Hoffmann; Jörg Preußig; Manuel Remelhe; Silke Simon; Heinz Treseler (Hybrid Systems, 1997)

An Open Software Architecture for the Verification of Industrial Controllers. - Heinz Treseler; Olaf Stursberg; Paul Wai Hing Chung; Shuang-Hua Yang (J. Univers. Comput. Sci., 2001)