INTRODUCTION TO THE DISCRETE EVENT SYSTEM SPECIFICATION FORMALISM AND ITS APPLICATION FOR MODELING AND SIMULATING CYBER-PHYSICAL SYSTEMS | IEEE Conference Publication | IEEE Xplore