@Inproceedings{BensalemFalconeJaberBozga11,
   status = {public},
   link = {http://www.ylies.fr/wp-content/uploads/2011/09/sefm11.pdf},
   task = {T5.1},
   booktitle = {SEFM},
   joint-pub = {true},
   reported = {year1},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   main = {no},
   title = {{Runtime Verification of Component-based Systems}},
   author = {Yli\`{e}s Falcone and Mohamad Jaber and Thanh Hung Nguyen and Marius Bozga and Saddek Bensalem},
   period = {year1},
   owner = {kroiss},
   accessible = {true},
   partner = {Verimag, Fraunhofer},
   ascens_ref = {true},
   wp = {WP5}
}