@conference {6458557,
	title = {A methodology for verification of embedded systems based on systemc},
	booktitle = {Complex Systems (ICCS), 2012 International Conference on},
	year = {2012},
	month = {Nov},
	pages = {1-6},
	author = {Hocine, R. and Kalla, H. and Kalla, S. and Arar, C.}
}
