Ozkaya, M. “Formal Verification of Contractual Software Architectures Using SPIN”. Malaysian Journal of Computer Science, vol. 28, no. 4, Dec. 2015, pp. 318-37, https://ejournal.um.edu.my/index.php/MJCS/article/view/6883.