Abstract interpretation for approximating probabilistic behaviours and termination of biological systems