2024-07-102024-07-102024-07-10https://infoscience.epfl.ch/handle/20.500.14299/90338Formal Techniques in Real-Time and Fault-Tolerant Systems. 6th International Symposium, FTRTFT 2000