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