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