M. Ozkaya, “Formal Verification of Contractual Software Architectures using SPIN”, MJCS, vol. 28, no. 4, pp. 318–337, Dec. 2015.