Thomas Huining Feng, Miriam Zia, Hans Vangheluwe. Multi-formalism modelling and model transformation for the design of reactive systems. In Gabriel Andrés Wainer, editor, Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007. pages 505-512, Simulation Councils, Inc., 2007. [doi]
Abstract is missing.