Manuel RodrÃguez, Arnaud Albinet, Jean Arlat. MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. In 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings. pages 267-272, IEEE Computer Society, 2002. [doi]
Abstract is missing.