Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 (Bremer Institut für Sichere Systeme: BISS monographs, 1998)