Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines Tariq M. Salameh Advisor: Dr. Khaled El Fakih 30th of June 2013 1 Outlines Introduction…