ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.

Martin Kardos Ulrich Nickel ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction. 416 2003 conf/asm/2003 Abstract State Machines http://link.springer.de/link/service/series/0558/bibs/2589/25890416.htm db/conf/asm/asm2003.html#KardosN03