Recovery of CFSM-based protocol and service design from protocol execution traces. - Saleh, K.; Probert, R.; Al-Saqabi, K. (Information & Software Technology, 1999)