Marco Fischer, Stefan Förster, André Windisch, Burkhard Balser, Dieter Monjau. A New Process-Algebraic Specification Methodology for Integrated Modular Avionic Systems. In Rolf Drechsler, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. pages 21-29, Shaker, 2003.
Abstract is missing.