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