Regular grammar model for protocol testing [abstract] - Rotter Csaba V. (Conference of PhD Students in Computer Science, 1998)