@string{ieeepress="© IEEE press"}
@InProceedings{BDPSU13,
  author = {V. Braberman and N. D'Ippolito and N. Piterman and D. Sykes and S. Uchitel},
  title = {Controller synthesis: From modelling to enactment},
  booktitle = {35th International Conference on Software Engineering},
  pages = {1347--1350},
  year = {2013},
  address = {San Francisco, CA, USA},
  publisher = ieeepress,
  keywords = {Synthesis},
  pdf = {2013/BDPSU13.pdf},
}