@proceedings {62052,
	title = {Automated translation of C/C++ models into a synchronous formalism},
	journal = {13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS{\textquoteright}06)},
	year = {2006},
	month = {2006},
	pages = {9-pp},
	publisher = {IEEE},
	isbn = {0-7695-2546-6},
	author = {Kalla, Hamoudi and Talpin, J-P and Berner, David and Besnard, Loic}
}
