A RefinedState refines a State of one of the Actor’s base class state machines
RefinedState BaseState {
exit '''// this is derived exit code'''
subgraph {
// add a sub state machine
Transition init: initial -> state0 { }
State state0
}
}