Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology