Publikationen

@TECHREPORT{Greenyer2013b,
  author = {Joel Greenyer and Valerio {Panzica La Manna} and Christian Brenner
	and Carlo Ghezzi},
  title = {{S}ynthesizing {S}afe {D}ynamic {U}pdates from {E}volving {S}pecifications},
  institution = {Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico
	di Milano},
  year = {2013},
  number = {n. 2013.2},
  month = {Jan.},
  url = {http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf}
}