@inproceedings{aky07sampled,
    author = "Parosh Abdulla and Pavel Krcal and Wang Yi",
    title = "Sampled Universality of Timed Automata",
    booktitle = "Proceedings of FOSSACS'07, Braga, Portugal.",
    pages = "2--16",
    volume = "4423",
    editor =    {Helmut Seidl}, 
    series = "Lecture Notes in Computer Science", 
    publisher = "Springer-Verlag",
    year = "2007",
}