Raymond R. Devillers, Hanna Klaudel. Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata. In Martin Fränzle, Nicolas Markey, editors, Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Volume 9884 of Lecture Notes in Computer Science, pages 140-156, Springer, 2016. [doi]