@article{RAB+5,
title = { Compositional Verification for Timed Systems Based on Automatic Invariant Generation },
author = {Rayana, Souha Ben and Astefanoaei, Lacramioara and Bensalem, Saddek and Bozga, Marius and Combaz, Jacques},
year = {2015},
journal = {Logical Methods in Computer Science},
number = {3},
volume = {11},
team = {RSD, axe_Mohytos},
}