Amjad Gawanmeh Sofiène Tahar Kirsten Winter Formal verification of ASMs using MDGs. 15-34 2008 54 J. Syst. Archit. 1-2 https://doi.org/10.1016/j.sysarc.2007.03.007 db/journals/jsa/jsa54.html#GawanmehTW08
