Ozkaya, Mert. “Formal Verification of Contractual Software Architectures Using SPIN”. Malaysian Journal of Computer Science 28, no. 4 (December 1, 2015): 318–337. Accessed January 2, 2025. http://adum.um.edu.my/index.php/MJCS/article/view/6883.