UML-based modeling and analysis

As a homework assignment, the students have to model an IT or an embedded system in UML using various formal techniques (such as graph transformation) and standard profiles (e.g., BPM, GRM).