Ingmar Fliege Alexander Geraldy Reinhard Gotzhein Thomas Kuhn Christian Webel Developing safety-critical real-time systems with SDL design patterns and components. 689-706 2005 49 Computer Networks 5 http://dx.doi.org/10.1016/j.comnet.2005.05.003 db/journals/cn/cn49.html#FliegeGGKW05