@inproceedings{BFS-infinity08,
   author = {Bouchy, Florent and Finkel, Alain and Sangnier, Arnaud}, 
   booktitle = {Joint Proceedings of the 8th, 9th and 10th International Workshops on Verification of Infinite State Systems (INFINITY'06,'07,'08)},
   publisher = {Elsevier Science Publishers}, 
   series = {Electronic Notes in Theoretical Computer Science},
   volume={239},
   pages={167-178}, 
   title = {Reachability in Timed Counter Systems}, 
   year = {2009}
}