Design automation of multiple-demand mixture preparation using a K-array rotary mixer on digital microfluidic biochips | IEEE Conference Publication | IEEE Xplore