UPPAAL simulation of Catastrophy