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