أرسل هذا في رسالة قصيرة: Formal Specification Language for Vehicular Ad-Hoc Networks