Daho, H.E.-H. and Benhamamouch, D. 2010. Temporal Deductive Verification of Basic ASM Models. INFOCOMP Journal of Computer Science. 9, 1 (Mar. 2010), 12–21.