DISCRETE EVENT SYSTEM SPECIFICATION MODELING AND SIMULATION | IEEE Conference Publication | IEEE Xplore