Additions to SystemC and Uppaal sections
Merge pull request #295 from srieger/master

Additions to SystemC and Uppaal sections in D7.2