On the formal specification and verification of a multiparty session protocol | IEEE Conference Publication | IEEE Xplore