1. J. Barjis, I. Barjis, Formalization of the protein production by means of petri nets, in: International Conference on Information Intelligence and Systems, ICIIS’99, 1999
2. M. Calder, V. Vyshemirsky, D. Gilbert, R. Orton, Analysis of signaling pathways using the prism model checker, in: Proc. Computational Methods in Systems Biology, CMSB’05, 2005, pp. 179–190
3. Biocham: An environment for modeling biological systems and formalizing experimental knowledge;Calzone;Bioinformatics,2006
4. Toward rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic t-cell maturation;Efroni;Genom. Res.,2003
5. A formal language for computational systems biology;Errampalli;Omics,2004