@conference {142,
	title = {Controller synthesis: from modelling to enactment},
	booktitle = {ICSE},
	year = {2013},
	author = {V{\'\i}ctor A. Braberman and Nicol{\'a}s D{\textquoteright}Ippolito and Nir Piterman and Daniel Sykes and Sebasti{\'a}n Uchitel}
}