Design automation methods and tools for microfluidics-based biochips - Chakrabarty, Krishnendu (Springer, 2006)