interface Sensor {
  in void activate();
  in void deactivate();
  out void deactivated();
  behaviour { 
    bool b= true;
    [b] {
      b = false;
      on activate: {}
      on deactivate: {}
    }
  }
}