FTRTFT 2000 Sixth International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems