Fisher J., Harel D., and Henzinger T.A.
We discuss the idea of viewing biological artifacts as reactive systems. This leads to the use of — and also to the need to enhance — methods, languages, and tools developed for the modeling and analysis of human-made reactive systems to further our understanding of biology. The approach has already yielded interesting biological results and insights, and the ultimate long-term goal is to be able to model and analyze truly complex and large biological systems, such as whole organs or even full organisms.
In Communication of the ACM 54 (10): 72-82