Model-Based Engineering of Embedded Systems: The SPES