أرسل هذا في رسالة قصيرة: Synthesis of MVL Functions - Part I: The Genetic Algorithm Approach