@misc {IOPORT.70931225,
    author       = {Walukiewicz, Igor},
    title        = {Winning strategies and synthesis of controllers (Tutorial)},
    howpublished = {CSL, 574 (2003).},
    year         = {2003},
    doi          = {10.1007/978-3-540-45220-1_47},
    identifier   = {70931225},
}