أرسل هذا في رسالة قصيرة: Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines