Jan Peleska
Tools for System Development and Verification
Workshop, Proceedings, Bremen, Germany July 1996