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