Compositional Verification of a Third Generation Mobile Communication Protocol