SDL 2007: design for dependable systems : 13th international SDL forum, Paris, France, September 18-21, 2007: proceedings / ed. E. Gaudin, 2007 r=on-line