The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models - Del Castillo, Giuseppe