أرسل هذا في رسالة قصيرة: Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines