@article {67269,
	title = {Encoding SystemC models in formal synchronous formalism},
	journal = {International Journal of Computer ApplicationsInternational Journal of Computer Applications},
	volume = {975},
	year = {2011},
	month = {2011},
	pages = {8887},
	author = {Hocine, Riadh and Kalla, Hamoudi}
}
