Philipp Becker, Dennis Christmann, Reinhard Gotzhein. Model-Driven Development of Time-Critical Protocols with SDL-MDD. In Rick Reed, Attila Bilgic, Reinhard Gotzhein, editors, SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings. Volume 5719 of Lecture Notes in Computer Science, pages 34-52, Springer, 2009. [doi]
Abstract is missing.