@inproceedings{kp05on,
    author = "Pavel Kr\v{c}\'{a}l and Radek Pel\'{a}nek",
    title = "On Sampled Semantics of Timed Systems",
    booktitle = "Proceedings of FSTTCS'05, Hyderabad, India.",
    pages = "310--321",
    volume = "3821",
    editor =    {R. Ramanujam and Sandeep Sen}, 
    series = "Lecture Notes in Computer Science", 
    publisher = "Springer-Verlag",
    year = "2005",
}