Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. - Liu, Lin; Billington, Jonathan (2007)