CONTEXT
  ControlledSystemCtx
EXTENDS
  StateSystemCtx
END