Cliff Chiung-Yu Lin, Yao-Wen Chang: Cross-contamination aware design methodology for pin-constrained digital microfluidic biochips. DAC 2010: 641-646