docs/publications/EclipseCon2011Tutorial/org.eclipse.ocl.tutorial.eclipsecon2011.playspace/model/simple.states

module "simple.states"

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