Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent. Timed Extensions for SDL. In Rick Reed, Jeanne Reed, editors, SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings. Volume 2078 of Lecture Notes in Computer Science, pages 223-240, Springer, 2001. [doi]
Abstract is missing.