أرسل هذا في رسالة قصيرة: Computer-aided modeling of reactive systems