module weather_station
{
  // State variables
  var temp : int;
  var count : int;

  // Threshold definition
  const THRESHOLD : int = 25; // Example threshold

  // Initialization
  init {
    temp = 0; // Assuming starting temperature
    count = 0;
  }

  // State transition
  next {
    temp' = temp + 1; // Simulate temperature change (simplified)

    // Increment count if temperature rises above the threshold
    if (temp' > THRESHOLD) {
      count' = count + 1;
    } else {
      count' = count;
    }
  }

  // Safety property (example)
  invariant count_correctness: count >= 0;

  // Control block for bounded model checking
  control {
    v = unroll(10); // Simulate 10 temperature changes
    check;
    print_results;
  }
}
