Synthesis of MVL Functions - Part I: The Genetic Algorithm Approach | IEEE Conference Publication | IEEE Xplore