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