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