1. Kam, N., Cohen, I.R., Harel, D.: The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts. Bull. Math. Bio. (to appear);
2. Extended abstract in Proc. Visual Languages and Formal Methods (VLFM 2001), part of IEEE Symp. on Human-Centric Computing (HCC 2001), pp. 15???22 (2001)
3. Efroni, S., Harel, D., Cohen, I.R.: Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation. Genome Research 13 (2003), 2484–2485 (2003)
4. Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.J.: Formal Modeling of C. elegans Development: A Scenario-Based Approach. In: Proc. Int. Workshop on Computational Methods in Systems Biology (ICMSB 2003) (February 2003)
5. Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)