OZKAYA, M. Formal Verification of Contractual Software Architectures using SPIN. Malaysian Journal of Computer Science, [S. l.], v. 28, n. 4, p. 318–337, 2015. Disponível em: https://ejournal.um.edu.my/index.php/MJCS/article/view/6883. Acesso em: 19 may. 2024.