The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. - Na'aman Kam; Irun R. Cohen; David Harel (HCC, 2001)

Modeling biological reactivity: statecharts vs. Boolean logic. - Na'aman Kam; Irun R. Cohen; David Harel (AVI, 2002)

Formal Modeling of C. elegans Development: A Scenario-Based Approach. - Na'aman Kam; David Harel; Hillel Kugler; Rami Marelly; Amir Pnueli; E. Jane Albert Hubbard; Michael J. Stern (CMSB, 2003)