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://ijps.um.edu.my/index.php/MJCS/article/view/6883. Acesso em: 23 dec. 2024.