Latency-optimization synthesis with module selection for digital microfluidic biochips | IEEE Conference Publication | IEEE Xplore