@misc {IOPORT.70858833,
    author       = {He, Fei and Zhu, He and Hung, William N. N. and Song, Xiaoyu and Gu, Ming},
    title        = {Compositional abstraction refinement for timed systems},
    howpublished = {TASE, 168-176 (2010).},
    year         = {2010},
    doi          = {10.1109/TASE.2010.27},
    identifier   = {70858833},
}