Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems