System-level design automation tools for digital microfluidic biochips | IEEE Conference Publication | IEEE Xplore