Modeling and verification of network protocol specs using timed pi-calculus | IEEE Conference Publication | IEEE Xplore