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)

Formal approach to QoS specification and verification. - Jan de Meer; Axel Rennoch; Jörg Burmeister (CASCON, 1993)