Kassem Saleh Robert L. Probert Khaled Al-Saqabi Recovery of CFSM-based protocol and service design from protocol execution traces. 839-852 1999 41 Inf. Softw. Technol. 11-12 https://doi.org/10.1016/S0950-5849(99)00041-5 db/journals/infsof/infsof41.html#SalehPA99