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