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 Viguié (Springer Berlin Heidelberg : Imprint: Springer, 2006)