Design and Optimization of High-Performance Protocols with the DO-IT Toolbox. - Andreas Mitschele-Thiel; Peter Langendörfer; Ralf Henke (FORTE, 1996)

Efficient Implementation Strategies for SDL. - Ralf Henke; Andreas Mitschele-Thiel (FBT, 1997)

On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. - Ralf Henke; Andreas Mitschele-Thiel; Hartmut König (FORTE, 1997)

Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. - Ralf Henke; Hartmut König; Andreas Mitschele-Thiel (SDL Forum, 1997)

Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. - Ralf Henke; Andreas Mitschele-Thiel; Hartmut König (PDSE, 1998)

Automatische Protokollimplementierung unter Verwendung der Activity Threads. - Ralf Henke; Hartmut König; Andreas Mitschele-Thiel (Prax. Inf.verarb. Kommun., 1998)