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

    init {
        temp = 0;
        count = 0;
    }

    transition {
        // Update the temperature randomly
        temp' = nondet();

        // Check if the temperature rises above a threshold (e.g., 30)
        if (temp > 30 && temp' > 30) {
            count' = count + 1; // Increment the count
        } else {
            count' = count; // Maintain the count
        }
    }
}
