@InProceedings{concur2011, author = "Tom\'a\v{s} Br{\'a}zdil and Jan Kr\v{c}\'al and Jan K{\v{r}}et\'{\i}nsk\'y and Vojt\v{e}ch {\v{R}}eh\'ak", title = "{Fixed-delay Events in Generalized Semi-{M}arkov Processes Revisited}", booktitle = "Proceedings of the 22nd international conference on Concurrency theory (CONCUR'11)", year = 2011, series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", volume = "6901", pages = {140--155}, DOI = "10.1007/978-3-642-23217-6_10" }