Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications*