Online synthesis for operation execution time variability on digital microfluidic biochips | IEEE Conference Publication | IEEE Xplore