1. Bower, J. M., Bolouri, H. (eds.): Computational modeling of genetic and bio-chemical networks. The MIT Press, Cambridge, MA (2001)
2. Wilkins, A. S. (ed.): Modelling complex biological systems: a special issue. BioEssays 24(12) Wiley Periodicals, Inc., Hoboken, NJ (2002)
3. Kam, N., Cohen, I. R., Harel, D., The Immune System as a Reactive System: Modeling T Cell Activation with Statecharts. To appear in Bull. Math. Bio. An extended abstract of this paper appeared in Proc. Visual Languages and Formal Methods (VLFM01), part of IEEE Symposia on Human-Centric Computing Languages and Environments (HCC01), pp. 15–22 (2001)
4. Efroni, S., Harel, D. and Cohen I. R., Reactive Animation, submitted (2002)
5. Damm, W. and Harel, D., LSCs: Breathing Life into Message Sequence Charts, Formal Methods in System Design 19:1 (2001). (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99 ), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293–312.)