Added chapter about UPPAAL and first reference to that section.
Renamed one section in the notes about references report.
Added a new reference about UML, bennett2010.