Ozkaya, M. (2015). Formal Verification of Contractual Software Architectures using SPIN. Malaysian Journal of Computer Science, 28(4), 318–337. Retrieved from https://sare.um.edu.my/index.php/MJCS/article/view/6883