docs/publications/EclipseCon2011Tutorial/org.eclipse.ocl.tutorial.eclipsecon2011.playspace/model/badsimple.states - www.eclipse.org/modeling/mdt/ocl - Git at Google

 module "badsimple.states"

 statemachine Machine
 {
     events START STOP;
     state Start
     {
         STOP  => Stop
     }
     state Stop
     {
         START  => Start
  }
 }
	module "badsimple.states"

	statemachine Machine
	{
	events START STOP;
	state Start
	{
	STOP => Stop
	}
	state Stop
	{
	START => Start
	}
	}