Filled UPPAAL template (+renamed wrongly named file)