Model-Driven Development of Time-Critical Protocols with SDL-MDD.

Philipp Becker Dennis Christmann Reinhard Gotzhein Model-Driven Development of Time-Critical Protocols with SDL-MDD. 34-52 2009 SDL Forum http://dx.doi.org/10.1007/978-3-642-04554-7_3 conf/sdl/2009 db/conf/sdl/sdl2009.html#BeckerCG09