Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King. The Use of Model Transformation in the INESS Project. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Volume 6286 of Lecture Notes in Computer Science, pages 147-165, Springer, 2009. [doi]
Abstract is missing.