Sucheendra K. Palaniappan, Benjamin M. Gyori, Bing Liu, David Hsu, and P. S. Thiagarajan. 2013. “Statistical model checking based calibration and analysis of bio-pathway models.” In Proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 13. Austria.