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