@inproceedings{KLMP14,
  author        = {Piotr Kordy and Rom Langerak and Sjouke Mauw and Jan Willem Polderman},
  title         = {A symbolic algorithm for the analysis of robust timed automata},
  booktitle     = {Proc.\ 19th International Symposium on Formal Methods (FM'14)},
  publisher     = {Springer Verlag},
  series        = {LNCS},
  editor        = {Cliff Jones and Pekka Pihlajasaari and Jun Sun},
  volume        = {8442},
  pages         = {351-366},
  address       = {Singapore},
  month         = {May 12-16},
  year          = {2014}
}