SPI - Workbench für die Analyse Eingebetteter Systeme.

Published in: Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen (2002)