@misc {IOPORT.70354972,
    author       = {Dang, Thao and Gawlitza, Thomas Martin},
    title        = {Discretizing affine hybrid automata with uncertainty},
    howpublished = {ATVA, 473-481 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-24372-1_36},
    identifier   = {70354972},
}