Computer-aided design of microfluidic very large scale integration (mVLSI) biochips : design automation, testing, and design-for-testability - Hu, Kai (Springer, 2017)