Tools for system development and verification workshop, proceedings, Bremen, Germany, July 1996 (Shaker, 1998)