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