%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