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