Ozkaya, M. Formal Verification of Contractual Software Architectures Using SPIN. MJCS 2015, 28, 318-337.