Passive Testing and Fault Diagnosis for Communication Finite State Machines

• 一种通信有限状态机的被动测试及其错误诊断