Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture