interface Siren {
  in void start();
  in void stop();
  behaviour { 
    bool b = true;
    on start: {
      [b] b = false;
      [otherwise] b = true;
      [otherwise] b = true;
    }
    on stop: {}
  }
}