Formal techniques for computer systems and business processes : proceedings - Bravetti, Mario; European Performance Engineering Workshop (2 : 2005 : Versailles) (Lecture notes in computer science, 2005)