Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology - Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (Springer)