Post-doctoral researcher at the research group for Software & Systems Engineering of Manfred Broy at the Technical University of Munich