Removed acknowledgements and added UPPAAL models