Added "A Tutorial on UPPAAL 4.0"