أرسل هذا في رسالة قصيرة: Modeling and verification using UML statecharts