T ESTING AND A SSESSMENT OF P ROTOCOLS AND S YSTEMS M ODELED AS E XTENDED F INITE S TATE M ACHINES Tariq M. Salameh Advisor: Dr. Khaled El Fakih 30 th.
