A technique of DEVS-driven validation | IEEE Conference Publication | IEEE Xplore