@article{BPQ+08,
title = {Automatic generation of path conditions for concurrent timed systems },
author = {Bensalem, Saddek and Peled, Doron and Qu, Hongyang and Tripakis, Stavros},
year = {2008},
journal = {Theor. Comput. Sci.},
number = {3},
pages = {275-292},
volume = {404},
team = {DCS, RSD},
}