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