Amjad Gawanmeh Sofiène Tahar Kirsten Winter Formal verification of ASMs using MDGs. 15-34 2008 54 Journal of Systems Architecture - Embedded Systems Design 1-2 http://dx.doi.org/10.1016/j.sysarc.2007.03.007 db/journals/jsa/jsa54.html#GawanmehTW08