-- The production cell control model.

  Author: Kirsten Winter (kirsten@prosun.first.gmd.de)
  Organization: GMD First
  Reference: Kirsten Winter, "Model Checking for Abstract State Machines",
	    Journal of Universal Computer Science, vol. 3, no. 5 (1997),
	    689--701.  

  Recommended SMV flag: -f
