Siamak Haschemi: Model-based testing of dynamic component systems. Humboldt University of Berlin 2015