Martin Kardos, Ulrich Nickel:ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.Abstract State Machines2003: 416