module dome_light {
    input door_open : boolean;
    input time : integer;

    var light_on : boolean;

    init {
        light_on = false;
    }

    next {
        if (door_open) {
            light_on' = true;
        } else if (light_on && time < 30) {
            light_on' = true;
        } else {
            light_on' = false;
        }
    }
}
