Transition between Different Abstraction Levels in an Abstract State Machine (ASM) Ground Model | IEEE Conference Publication | IEEE Xplore