@Inproceedings{LMPT_jresp2014,
   status = {public},
   task = {T1.1,T1.3},
   publisher = {Springer},
   doi = {10.1007/978-3-662-45234-9_12},
   booktitle = {Proc. of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track},
   series = {LNCS},
   year = {2014},
   invited = {no},
   volume = {8802},
   main = {no},
   title = {{On Programming and Policing Autonomic Computing Systems}},
   editor = {Tiziana Margaria and Berhard Steffen},
   author = {Michele Loreti and Andrea Margheri and Rosario Pugliese and Francesco Tiezzi},
   period = {year4},
   partner = {UDF,IMT},
   wp = {wp1},
   pages = {164-183}
}