H. E.-H. Daho and D. Benhamamouch, “Temporal Deductive Verification of Basic ASM Models”, INFOCOMP Journal of Computer Science, vol. 9, no. 1, pp. 12–21, Mar. 2010.