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)

Verification of PLC Programs Given as Sequential Function Charts. - Nanette Bauer; Sebastian Engell; Ralf Huuck; Sven Lohmann; Ben Lukoschus; Manuel Remelhe; Olaf Stursberg (SoftSpez Final Report, 2004)