Formal Modeling of C. elegans Development: A Scenario-Based Approach. - Na'aman Kam; David Harel; Hillel Kugler; Rami Marelly; Amir Pnueli; E. Jane Albert Hubbard; Michael J. Stern (CMSB, 2003)

Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. - Jasmin Fisher; David Harel; E. Jane Albert Hubbard; Nir Piterman; Michael J. Stern; Naamah Swerdlin (CMSB, 2004)

Testing Scenario-Based Models. - Hillel Kugler; Michael J. Stern; E. Jane Albert Hubbard (FASE, 2007)

"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models. - Hillel Kugler; Amir Pnueli; Michael J. Stern; E. Jane Albert Hubbard (TACAS, 2007)

Toward Verified Biological Models. - Avital Sadot; Jasmin Fisher; Dan Barak; Yishai Admanit; Michael J. Stern; E. Jane Albert Hubbard; David Harel (IEEE ACM Trans. Comput. Biol. Bioinform., 2008)

Modeling the C. elegans germline stem cell genetic network using automated reasoning. - Ani Amar; E. Jane Albert Hubbard; Hillel Kugler (Biosyst., 2022)