A New Time Extension to phi-Calculus based on Time Consuming Transition Semantics. - Marco Fischer; André Windisch; Stefan Förster; Burkhard Balser; Dieter Monjau (FDL, 2003)

Process Algebraic Specification, Refinement, and Verification of Embedded Systems. - Stefan Förster; Marco Fischer; Dieter Monjau; André Windisch; Burkhard Balser (FDL, 2003)

Modulare Avionik als Grundlage für Systemdefinition, Systemkonfiguration und Systemkontrolle. - Burkhard Balser; Michael Förster; G. Grabowski (GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), 2003)

A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. - Marco Fischer; Stefan Förster; André Windisch; Burkhard Balser; Dieter Monjau (MBMV, 2003)

A New Specification Methodology for Embedded Systems Based on the - Calculus Process Algebra. - Stefan Förster; Marco Fischer; André Windisch; Burkhard Balser; Dieter Monjau (IEEE International Workshop on Rapid System Prototyping, 2003)