Title: A GUI depicting VPC specification  Formal Modeling, Simulation and Analysis of C. elegans Development
Authors: Na'aman Kam, Rami Marelly, Irun R Cohen, David Harel, Amir Pnueli, Michael J Stern, Albert Hubbard
Journal: European Worm Meeting
Published: 2002