Advanced Model-Based Engineering of Embedded Systems