@InProceedings{OguzBroenink09, title = "{U}se of {F}ormal {M}odels in {M}odel-driven {D}esign of {E}mbedded software", author= "Oguz, Oguzcan and Broenink, Jan F.", editor= "Welch, Peter H. and Roebbers, Herman and Broenink, Jan F. and Barnes, Frederick R. M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, G. S. and Vinter, Brian", pages = "--", booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2009", isbn= "978-1-60750-065-0", year= "2009", month= "nov", }