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