@Article{DLPT14,
   status = {public},
   number = {2},
   publisher = {ACM},
   link = {http://dl.acm.org/citation.cfm?id=2619998&CFID=390351528&CFTOKEN=91161148},
   task = {T1.1},
   doi = {10.1145/2619998},
   year = {2014},
   isbn = {1556-4665},
   invited = {no},
   volume = {9},
   main = {yes},
   title = {{A formal approach to autonomic systems programming: The SCEL Language}},
   author = {Rocco De Nicola and Michele Loreti and Rosario Pugliese and Francesco Tiezzi},
   period = {year4},
   journal = {ACM Transactions on Autonomous and Adaptive Systems},
   partner = {IMT,UDF},
   wp = {WP1},
   pages = {7:1--7:29}
}