ASMETA

ASMETA (ASM mETAmodeling) toolset: A set of tools for Abstract State Machines (ASM) based on their Metamodel (AsmM)