242	  Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune  (2010) Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.  In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France.    (In Press)