@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} }