Protocol Specification and Verification Using Process Algebra and Petri Nets | IEEE Conference Publication | IEEE Xplore