أرسل هذا في رسالة قصيرة: A model-based testing framework for trusted platform module