@proceedings {64339,
	title = {Framework for Wireless Sensor Networks Code Generation from Formal Specification},
	journal = {CS \& IT Conference Proceedings},
	volume = {7},
	year = {2017},
	month = {2017},
	publisher = {CS \& IT Conference Proceedings},
	author = {Houhou, Sara and KAHLOUL, Laid and BENHARZALLAH, Saber and Bettira, Roufaida}
}
