The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine modelsGiuseppe Del CastilloÉpuiséPrévenez-moi
