Formal techniques for networked and distributed systems FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / - Najm, Elie.; Pradat-Peyre, Jean-François.; Donzeau-Gouge, Véronique. (Lecture notes in computer science,)