Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications | IEEE Conference Publication | IEEE Xplore