أرسل هذا في رسالة قصيرة: Distinguishing automata machine by using UPPAAL as a model checker