Special thanks to our sponsors:

National Science Foundation (www.nsf.gov) Project:

- EHA: Efficient Modeling and Analysis of Excitable Cell Networks Using Hybrid Automata,
   NSF CCF05-23863

- MODES: Model Based Design and Verification of Embedded Systems,
  NSF CAREER CCR01-33583