Hugo Fierz

The CIP method: component- and model-based construction of embedded systems

Hugo Fierz, Hugo Fierz, 1999, ESEC/FSE-7.

SCSM - synchronous composition of sequential machines

Hugo Fierz, 1994 .

Automated Interaction Analysis of Reactive Behavioural Models

Hugo Fierz, Hugo Fierz, 2001 .

Title: DESC Domain-oriented Embedded System Construction: Entwicklungsmethode und Tools für Embedded Systeme

Hugo Fierz, 2009 .

CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems

Hansruedi Müller, Hugo Fierz, Spiros Netos, 1993, SAFECOMP.