Ozkaya, M. (2015) “Formal Verification of Contractual Software Architectures using SPIN”, Malaysian Journal of Computer Science, 28(4), pp. 318–337. Available at: http://mojem.um.edu.my/index.php/MJCS/article/view/6883 (Accessed: 1 July 2024).