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