You are about to access our book library "Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology full version" .