Ozkaya, M. 2015. Formal Verification of Contractual Software Architectures using SPIN. Malaysian Journal of Computer Science. 28, 4 (Dec. 2015), 318–337.