automaton Switch

  signature
    input  on
    output off

  states
    burning: Bool := false

  transitions
    input on
      eff burning := true

    output off
      pre burning = true
      eff burning := false