@article {63384,
	title = {Automated generation of synchronous formal models from SystemC descriptions},
	journal = {Journal of Circuits, Systems and ComputersJournal of Circuits, Systems and Computers},
	volume = {28},
	year = {2019},
	month = {2019},
	pages = {1950061},
	isbn = {0218-1266},
	author = {Kalla, Hamoudi and Berner, David and Talpin, Jean-Pierre}
}
