Ozkaya, Mert. 2015. “Formal Verification of Contractual Software Architectures Using SPIN”. Malaysian Journal of Computer Science 28 (4):318-37. https://ejournal.um.edu.my/index.php/MJCS/article/view/6883.