Optimal scheduling of biochemical analyses on digital microfluidic systems