A Computational Framework for the Analysis of Biological Models | IEEE Conference Publication | IEEE Xplore