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: http://mojem.um.edu.my/index.php/MJCS/article/view/6883. Acesso em: 1 jul. 2024.