www.prismmodelchecker.org
[AC12] Oana Andrei and Muffy Calder. Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. Transactions on Computational Systems Biology, XIV, pages 1-25, Springer. 2012. [Studies the AKAP scaffold protein by introducing a notion of stochastic trends and using PRISM for model analysis.]
Notes: The original publication is available at www.springerlink.com.

Publications