%0 Conference Proceedings %F uml-fm08 %A Yu, H. %A Gamatiť, A. %A Rutten, E. %A Dekeyser, J.-L. %T Safe Design of High-Performance Embedded Systems in a MDE Framework %B 1th IEEE International workshop UML and Formal Methods, UML&FM'08 %D 2008