@article{WaezDingelRudie:CSR:2013,
    Author = {Waez, Md Tawhid Bin and Dingel, Juergen and Rudie, Karen},
    File = {1-s2.0-S1574013713000178-main (0) - a - a - w.pdf},
    ISSN = {1574-0137},
    Journal = {Computer Science Review},
    Keywords = {Timed automata, Survey, Real-time systems, Formal models, Semantics, Timed regular languages, Decision problems, Variants, Implementability, Tools},
    Pages = {1--26},
    Title = {A survey of timed automata for the development of real-time systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S1574013713000178},
    Volume = {9},
    Year = {2013},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1574013713000178},
    bdsk-url-2 = {https://doi.org/10.1016/j.cosrev.2013.05.001},
    date-added = {2018-03-13 09:10:44 +0000},
    date-modified = {2018-04-20 09:05:54 +0000},
    doi = {10.1016/j.cosrev.2013.05.001}
}

@article{WaezDingelRudie:CSR:2013, Author = {Waez, Md Tawhid Bin and Dingel, Juergen and Rudie, Karen}, File = {1-s2.0-S1574013713000178-main (0) - a - a - w.pdf}, ISSN = {1574-0137}, Journal = {Computer Science Review}, Keywords = {Timed automata, Survey, Real-time systems, Formal models, Semantics, Timed regular languages, Decision problems, Variants, Implementability, Tools}, Pages = {1--26}, Title = {A survey of timed automata for the development of real-time systems}, URL = {http://www.sciencedirect.com/science/article/pii/S1574013713000178}, Volume = {9}, Year = {2013}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1574013713000178}, bdsk-url-2 = {https://doi.org/10.1016/j.cosrev.2013.05.001}, date-added = {2018-03-13 09:10:44 +0000}, date-modified = {2018-04-20 09:05:54 +0000}, doi = {10.1016/j.cosrev.2013.05.001} }