SDL 2007: Design for Dependable Systems : 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings - Emmanuel Gaudin, Elie Najm, Rick Reed ((Lecture Notes in Computer Science))