Ein integriertes Steuerungsentwurfs- und Verifikationskonzept mit Hilfe interpretierter Petri-Netze / Carsten Jörns. Düsseldorf : VDI-Verl., 1997