Emmanuel Gaudin Elie Najm Rick Reed SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings SDL Forum Lecture Notes in Computer Science 4745 Springer 2007 978-3-540-74983-7 db/conf/sdl/sdl2007.html