Na'aman Kam David Harel Hillel Kugler Rami Marelly Amir Pnueli E. Jane Albert Hubbard Michael J. Stern Formal Modeling of C. elegans Development: A Scenario-Based Approach. 4-20 2003 conf/cmsb/2003 CMSB http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm db/conf/cmsb/cmsb2003.html#KamHKMPHS03