publication venue for Redundancy optimization for error recovery in digital microfluidic biochips 2015