Dedicated to the memory of Harald Ganzinger | IEEE Conference Publication | IEEE Xplore