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