Free Formal Techniques, Modelling And Analysis Of Timed And Fault-Tolerant Systems: Joint International Conferences On Formal Modeling And Analysis Of Timed Systmes, Formats 2004, And Formal Techniques In Real-Time And Fault -Tolerant Systems, Ftrtft 2004, Grenoble, France, September 22-24, 2004. Proceedings