Nicolas Guelfi Henry Muccini Patrizio Pelliccione Alexander Romanovsky Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 EFTS ACM 2007 978-1-59593-725-4 db/conf/sigsoft/efts2007.html