Model-Based Analysis of Design Artefacts Applying an Annotation Concept. - Daniel Merschen; Yves Duhr; Thomas Ringler; Bernd Hedenetz; Stefan Kowalewski (Software Engineering, 2012)