@inproceedings{aky08r-automata,
    author = "Parosh Aziz Abdulla and Pavel Krcal and Wang Yi",
    title = "R-automata",
    booktitle = "Proceedings of CONCUR'08, Toronto, Canada.",
    pages = "67--81",
    volume = "5201",
    editor =    {Franck van Breugel and Marcha Chechik}, 
    series = "Lecture Notes in Computer Science", 
    publisher = "Springer-Verlag",
    year = "2008",
}