Daho, H. E.-H., & Benhamamouch, D. (2010). Temporal Deductive Verification of Basic ASM Models. INFOCOMP Journal of Computer Science, 9(1), 12–21. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/286