Design and verification tools for continuous fluid flow-based microfluidic devices. - Jeffrey McDaniel; Auralila Baez; Brian Crites; Aditya Tammewar; Philip Brisk (ASP-DAC, 2013)