T. Ramalingam, Anindya Das, Krishnaiyan Thulasiraman: On Conformance Test and Fault Resolution of Protocols based on FSM Model. NETWORKS 1992: 211-222