أرسل هذا في رسالة قصيرة: A model checking agent for mobile short message service application