VHDL/S - integrating statecharts, timing diagrams, and VHDL. - Johannes Helbig; Rainer Schlör; Werner Damm; Gert Döhmen; Peter Kelb (Microprocess. Microprogramming, 1993)

Model Checking Using Adaptive State and Data Abstraction. - Dennis Dams; Rob Gerth; Gert Döhmen; Ronald Herrmann; Peter Kelb; Hergen Pargmann (CAV, 1994)

An OBDD-Representation of Statecharts. - Johannes Helbig; Peter Kelb (EDAC-ETC-EUROASIC, 1994)

Statecharts. - Werner Damm; Hardi Hungar; Peter Kelb; Rainer Schlör (Formal Development of Reactive Systems, 1995)

Abstraktionstechniken für automatische Verifikationsmethoden. - Peter Kelb (Shaker, 1996)

MOSEL: A Sound and Efficient Tool for M2L(Str). - Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger (CAV, 1997)

MOSEL: A FLexible Toolset for Monadic Second-Order Logic. - Peter Kelb; Tiziana Margaria; Michael Mendler; Claudia Gsottberger (TACAS, 1997)