F. J. Redmill;B. Kitchenham
-;-
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
IEEE Transactions on Software Engineering