Model-Based Engineering of Embedded Systems The SPES 2020 Methodology by Klaus Pohl | Menrva Books