Condition/Event Systems: a Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. - Sebastian Engell; Stefan Kowalewski; Bruce H. Krogh; Jörg Preußig (EUROSIM, 1995)

Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. - Olaf Stursberg; Stefan Kowalewski; Ingo Hoffmann; Jörg Preußig (Hybrid Systems, 1996)

Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. - Stefan Kowalewski; Jörg Preußig (TACAS, 1996)

Comparing Timed C/E Systems with Timed Automata (Abstract). - Ralf Huuck; Yassine Lakhnech; Luis Urbina; Sebastian Engell; Stefan Kowalewski; Jörg Preußig (HART, 1997)

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 Algorithm for the Approximative Analysis of Rectangular Automata. - Jörg Preußig; Stefan Kowalewski; Howard Wong-Toi; Thomas A. Henzinger (FTRTFT, 1998)

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. - Ralf Huuck; Yassine Lakhnech; Luis Urbina; Sebastian Engell; Stefan Kowalewski; Jörg Preußig (Parallel Distributed Comput. Pract., 1998)

Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. - Jörg Preußig; Olaf Stursberg; Stefan Kowalewski (HSCC, 1999)

Verification of logic controllers for continuous plants using timed condition/event-system models. - Stefan Kowalewski; Sebastian Engell; Jörg Preußig; Olaf Stursberg (Autom., 1999)

A procedure for reachability analysis of rectangular automata. - Howard Wong-Toi; Jörg Preußig (ACC, 2000)

Formale Überprüfung der Korrektheit von Steuerungen mittels rektangulärer Automaten. - Jörg Preußig (Shaker, 2000)

Some lessons from the HYTECH experience. - Thomas A. Henzinger; Jörg Preußig; Howard Wong-Toi (CDC, 2001)