A modeling and simulation example using DEVSW | IEEE Conference Publication | IEEE Xplore