Benoit Parreaux, Daniel Vincent, Gérard Babonneau. RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol. In Rick Reed, Jeanne Reed, editors, SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings. Volume 2708 of Lecture Notes in Computer Science, pages 218-233, Springer, 2003. [doi]
Abstract is missing.