أرسل هذا في رسالة قصيرة: Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system