Added comments about SPA Logical Interface.
Updated the layout of the List of Abbreviations.
Updated the layout for List of Abbreviations in the template.
Added four references about SPA.
Added two references about dependability.
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.
Added a new reference, lundqvist2003.
Added another reference, behrmann2011.
Added another reference, alencar2013.
Added several references to the notes_about_references report.
Merge branch 'feature/notes_about_references' into development