Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 : Edinburgh, UK, April 4-8, 2005 : proceedings - TACAS (konference) 2005 : Edinburgh, Skotsko); Halbwachs, Nicolas; Zuck, Lenore D., 1958-; ETAPS (konference) 2005 : Edinburgh, Skotsko) (Berlin : Springer, 2004)