@inproceedings {SpringSim11:DEVStestingFramework,
	title = {Towards a Testing Framework for {DEVS} Formalism Implementation},
	journal = {Spring Simulation Multiconference},
	year = {2011},
	note = {Boston, MA, USA},
	month = {April},
	pages = {183 {\textendash} 188},
	publisher = {Society for Computer Simulation International (SCS)},
	author = {Xiaobo Li and Hans Vangheluwe}
}
