Merge branch 'development' into feature/notes_about_references
Added "A Tutorial on UPPAAL 4.0"
Updated "Applying uml and patterns" reference.
Merge branch 'feature/notes_about_references' into development