Updated the introduction about UPPAAL