Practical considerations in protocol verification: the E-2C case study | IEEE Conference Publication | IEEE Xplore