A model for estimating the size of a formal communication protocol specification and its implementation | IEEE Journals & Magazine | IEEE Xplore