types
  Greeter = autocons system
  |[
  var
        done : bool = false
  actions
        obs HelloWorld = requires done = false :
                done := true
                end
  do
        HelloWorld
  od
  ]|
system
        Greeter