Contamination-Aware Synthesis for Programmable Microfluidic Devices | IEEE Journals & Magazine | IEEE Xplore