Model-Based Engineering of Collaborative Embedded Systems