
module main {
    var temp : int; // temperature
    var count : int; // count of events

    init {
        temp = 0;
        count = 0;
    }

    transition {
        if (temp > threshold) {
            count' = count + 1;
        } else {
            count' = count;
        }
        temp' = temp + 1; // incrementing temperature for simulation purposes
    }
}
