Error recovery in a micro-electrode-dot-array digital microfluidic biochip?
PRISM 4.0: Verification of Probabilistic Real-time Systems