Formal verification of ASM designs using the MDG tool | IEEE Conference Publication | IEEE Xplore