A Virtual Time Driven Simulator for DEVS Models