Formal techniques, modelling and analysis of timed and fault tolerant systems : proceedings - Lakhnech, Yassine (Herausgeber); FORMATS (2 : 2004 : Grenoble); FTRTFT (8 : 2004 : Grenoble) (Lecture notes in computer science, 2004)