Marc Spielmann Model Checking Abstract State Machines and Beyond. 323-340 http://link.springer.de/link/service/series/0558/bibs/1912/19120323.htm 2000 conf/asm/2000 Abstract State Machines db/conf/asm/asm2000.html#Spielmann00