NoObserveTime


property NoObserveTime {

  check RSystem.observeCurrentTime () {

    violation ("Attempt to observe current time.");

  }

}