Ana R. Cavalli Jean Philippe Favreau Marc Phalippou Standardization of Formal Methods in Conformance Testing of Communication Protocols. 3-14 1996 29 Computer Networks and ISDN Systems 1 db/journals/cn/cn29.html#CavalliFP96 http://dx.doi.org/10.1016/S0169-7552(96)00015-3