%T Use of Formal Models in Model\-driven Design of Embedded software
%A  Oguzcan Oguz,  Jan F. Broenink
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009