@startuml
state OrthogonalHsm {
  [*] --> s
  state s {
    state REGION_left {
      [*] --> s1
      state s1 {
        state REGION_fred {
          [*] --> s11
          state s11 {
          }
          state s12 {
          }
        }
        state REGION_george {
          [*] --> s1X
          state s1X {
          }
          state s1Y {
          }
        }
      }
      state s2 {
      }
    }
    state REGION_right {
      [*] --> sA
      state sA {
      }
      state sB {
      }
    }
  }
  state t {
  }
}
      s1 --> s2 : F
          s11 --> s11 : K / <lambda>
          s11 --> s12 : L
          s1X --> s2 : C
          s1X --> s1 : D
          s1X --> t : G
          s1X --> s1Y : L
          s1X --> s1X : K / <lambda>
          s1X --> s1Y : M
      s2 --> s1 : E
      sA --> sB : B
      sA --> t : H
      sA --> sA : K / <lambda>
      sB --> sA : A
  t --> s : J
@enduml
