@misc {IOPORT.70274917,
    author       = {Li, Xiaobo and Vangheluwe, Hans and Lei, Yonglin and Song, Hongyan and Wang, Weiping},
    title        = {A testing framework for DEVS formalism implementations},
    howpublished = {SpringSim (TMS-DEVS), 183-188 (2011).},
    year         = {2011},
    identifier   = {70274917},
}