Daho, H. E.-H.; Benhamamouch, D. Temporal Deductive Verification of Basic ASM Models. INFOCOMP Journal of Computer Science 2010, 9, 12-21.