Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. - Klaus Gotthardt; Reiner Lichtenecker (FBT, 1997)

Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. - Reiner Lichtenecker; Klaus Gotthardt (SAFECOMP, 1997)

Terrestrial Time Signal Dissemination. - Reiner Lichtenecker (Real Time Syst., 1997)

Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. - Wolfgang A. Halang; Alceu Heinke Frigeri; Reiner Lichtenecker; Uwe Steinmann; Karin Wendland (Bundesanstalt für Arbeitsschutz, 1998)

Automated Verification of Communication Protocols Using CCS and BDDs. - Reiner Lichtenecker; Klaus Gotthardt; Janusz Zalewski (IPPS/SPDP Workshops, 1998)

Entwurfsmethode für einen universellen Koprozessor für zeitkritische Aufgaben in sicherheitsgerichteten Echtzeitsystemen. - Markus Wannemacher; Reiner Lichtenecker; Wolfgang A. Halang (MBMV, 1998)

Deriving CORBA Applications from Formal Specifications. - Bernd J. Krämer; Norbert Völker; Reiner Lichtenecker; Hans-Friedrich Kötter (J. Syst. Integr., 1998)