A Generalized Conformance Test Tool for Communication Protocols. - Lothar F. Mackert; Ralf Meyer; Ulrich Scheere; Jürgen M. Schneider; Roelof Jan Velthuys; Jörg Burmeister; Jan de Meer; Ilona Schröer (ICDCS, 1988)

Executable Communicating Rule Systems. - Jürgen M. Schneider; Iris B. Neumeier-Mackert; Lothar F. Mackert; Roelof Jan Velthuys (FORTE, 1989)

Formal Description of X.25 Applying a Rule-based Approach. - Jürgen M. Schneider; Udo Bär; Jean Monnery; Thibault Mangold; Roelof Jan Velthuys; Georg Zörntlein (Kommunikation in Verteilten Systemen, 1991)

Structuring Mechanisms for the Formal Description Technique CRS. - Roelof Jan Velthuys; Lothar F. Mackert; Jürgen M. Schneider; Georg Zörntlein (PSTV, 1991)

Relating Events for Conformance Testing - a Pragmatic Approach. - Roelof Jan Velthuys; Georg Zörntlein (Protocol Test Systems, 1991)

A Test Derivation Method Based on Exploiting Structure Information. - Roelof Jan Velthuys; Jürgen M. Schneider; Georg Zörntlein (PSTV, 1992)

An Integrated Environment for Developing Communication Protocols. - Jürgen M. Schneider; Lothar F. Mackert; Georg Zörntlein; Roelof Jan Velthuys; Udo Bär (Comput. Networks ISDN Syst., 1992)