MIRACH: Efficient model checker for quantitative biological pathway models - Koh, C.H. (2013)
10.1093/bioinformatics/btq727