Ozkaya M. Formal Verification of Contractual Software Architectures using SPIN. MJCS [Internet]. 2015 Dec. 1 [cited 2024 Dec. 29];28(4):318-37. Available from: http://borneojournal.um.edu.my/index.php/MJCS/article/view/6883