@Inproceedings{AbeZ12,
   status = {public},
   task = {t4.1,t4.2},
   publisher = {IEEE CS Press},
   month = {April},
   booktitle = {19th IEEE Conference on the Engineering of Computer-based Systems},
   address = {Novi Sad, Serbia},
   joint-pub = {false},
   year = {2012},
   invited = {no},
   timestamp = {2012.10.31},
   main = {yes},
   title = {{Model Checking Goal-oriented Requirements for Self-Adaptive Systems}},
   author = {Dhaminda Abeywickrama and Franco Zambonelli},
   period = {year2},
   owner = {kroiss},
   accessible = {true},
   partner = {UNIMORE},
   ascens_ref = {true},
   wp = {wp4},
   pages = {33-42}
}