automaton BoolToggler
  signature
    internal action1
  states 
    alpha: Bool := false
  transitions
    internal action1 case X
      pre alpha 
      eff alpha := false
    internal action1 case X
      pre ~alpha
      eff alpha := true

schedule do
  while true do
    fire internal action1 case X
  od
od