@Inproceedings{AstefanoaeiRBBC14,
   status = {public},
   link = {http://www-verimag.imag.fr/~jcombaz/publis/combaz-tacas14.pdf},
   task = {T5.2},
   publisher = {Springer},
   doi = {10.1007/978-3-642-54862-8},
   booktitle = {TACAS},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   isbn = {978-3-642-54861-1},
   invited = {no},
   volume = {8413},
   main = {yes},
   title = {{Compositional Invariant Generation for Timed Systems}},
   author = {Lacramioara Astefanoaei and Souha Ben Rayana and Saddek Bensalem and Marius Bozga and Jacques Combaz},
   period = {year4},
   partner = {Verimag},
   wp = {WP5},
   pages = {263-278}
}