@misc {IOPORT.70211349,
    author       = {Bouyer, Patricia and Forejt, Vojtech},
    title        = {Reachability in stochastic timed games},
    howpublished = {ICALP (2), 103-114 (2009).},
    year         = {2009},
    doi          = {10.1007/978-3-642-02930-1_9},
    identifier   = {70211349},
}