أرسل هذا في رسالة قصيرة: Formal modeling and analysis of timed systems