%0 Conference Proceedings
%F FZV07Scsc
%A Feng, Thomas Huining
%A Zia, Miriam
%A Vangheluwe, Hans
%T Multi-formalism modelling and model transformation for the design of reactive systems
%B ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2007)
%C San Diego, CA, USA
%D 2007
%U http://www.eecs.berkeley.edu/~tfeng/papers/fzv07scsc.pdf