Thavasinadar, Ramalingom (1994) Test case generation and fault diagnosis methods for communication protocols based on FSM and EFSM models. PhD thesis, Concordia University.