{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:48:53Z","timestamp":1769284133558,"version":"3.49.0"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/wsc.2018.8632408","type":"proceedings-article","created":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T21:10:15Z","timestamp":1549314615000},"page":"177-191","source":"Crossref","is-referenced-by-count":3,"title":["INTRODUCTION TO THE DISCRETE EVENT SYSTEM SPECIFICATION FORMALISM AND ITS APPLICATION FOR MODELING AND SIMULATING CYBER-PHYSICAL SYSTEMS"],"prefix":"10.1109","author":[{"given":"Gabriel A.","family":"Wainer","sequence":"first","affiliation":[]},{"given":"Rhys","family":"Goldstein","sequence":"additional","affiliation":[]},{"given":"Azam","family":"Khan","sequence":"additional","affiliation":[]}],"member":"263","event":{"name":"2018 Winter Simulation Conference (WSC)","location":"Gothenburg, Sweden","start":{"date-parts":[[2018,12,9]]},"end":{"date-parts":[[2018,12,12]]}},"container-title":["2018 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8625401\/8632166\/08632408.pdf?arnumber=8632408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T20:28:34Z","timestamp":1551731314000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8632408\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/wsc.2018.8632408","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}