Automatic Compositional Verification of Timed Systems. - Lin, Shang-Wei; Liu, Yang; Sun, Jun; Dong, Jin Song; André, Étienne (2012)