Börger, EgonRumpe, BernhardHesse, Wolfgang2019-10-162019-10-1620043-88579-374-1https://dl.gi.de/handle/20.500.12116/29223We survey applications of the Abstract State Machines (ASM) method for high-level system modeling and for well-documented refinements of abstract models to code.enModeling with abstract state machines: A support for accurate system design and analysisText/Conference Paper1617-5468