Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology - Pohl, Klaus; Broy, Manfred; Daembkes, Heinrich; Hönninger, Harald (Springer International Publishing : Imprint: Springer, 2016)