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