Design Automation Methods and Tools for Microfluidics-Based Biochips - Chakrabarty, Krishnendu; Zeng, Jun (Springer Netherlands, 2006)