A New Synthesis Algorithm for the MIMOLA Software System | IEEE Conference Publication | IEEE Xplore