Some maintainability metrics for a communication protocol specified in Estelle | IEEE Conference Publication | IEEE Xplore