Daho, Hocine El-Habib, and Djillali Benhamamouch. 2010. “Temporal Deductive Verification of Basic ASM Models”. INFOCOMP Journal of Computer Science 9 (1):12-21. https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/286.