Richard Lai Sun-Jen Huang A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. 46-62 2003 29 IEEE Trans. Software Eng. 1 http://www.computer.org/tse/ts2003/e0046abs.htm db/journals/tse/tse29.html#LaiH03