Estimating the size of an Estelle specification for a communication protocol | IEEE Conference Publication | IEEE Xplore