The ASM Workbench. A tool environment for computer-aided analysis and validation of abstract state machine models - Castillo, Giuseppe Del (Heinz Nixdorf Institut Verlagsschriftenreihe, 2001)