David de Frutos-Escrig Manuel Núñez Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings FORTE Lecture Notes in Computer Science 3235 Springer 2004 3-540-23252-4 db/conf/forte/forte2004.html