Using a formal technique for protocol idealization: a cautionary note | IEEE Conference Publication | IEEE Xplore