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://mjcs.um.edu.my/index.php/MJCS/article/view/6883. Acesso em: 22 nov. 2024.