Advanced Model-Based Engineering of Embedded Systems - Pohl, Klaus; Broy, Manfred; Daembkes, Heinrich; Hönninger, Harald (Springer International Publishing, 2016)