Title: Formal modeling of C. elegans development: a scenario-based approach.
Authors: Kam N, Harel D, Kugler H, Marelly R, Pnueli A, Hubbard EJA, Stern MJ
Journal: Modeling in Molecular Biology. G Ciobanu and G Rozenberg (eds).  Natural Computing Series, Springer-Verlag.
Published: 2004
Pages: 151-173