Daho, H. E.-H., and D. Benhamamouch. “Temporal Deductive Verification of Basic ASM Models”. INFOCOMP Journal of Computer Science, vol. 9, no. 1, Mar. 2010, pp. 12-21, https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/286.