{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:36:54Z","timestamp":1767184614134,"version":"build-2238731810"},"reference-count":0,"publisher":"Inderscience Publishers","issue":"3\/4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IJSPM"],"published-print":{"date-parts":[[2017]]},"DOI":"10.1504\/ijspm.2017.085564","type":"journal-article","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T07:30:11Z","timestamp":1501486211000},"page":"313","source":"Crossref","is-referenced-by-count":2,"title":["DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems"],"prefix":"10.1504","volume":"12","author":[{"given":"Aznam","family":"Yacoub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maamar El Amine","family":"Hamri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Frydman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chungman","family":"Seo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard P.","family":"Zeigler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"378","container-title":["International Journal of Simulation and Process Modelling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.inderscienceonline.com\/doi\/full\/10.1504\/IJSPM.2017.085564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T07:30:21Z","timestamp":1501486221000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.inderscience.com\/link.php?id=85564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":0,"aliases":["10.1504\/ijspm.2017.10006537"],"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1504\/ijspm.2017.085564","relation":{},"ISSN":["1740-2123","1740-2131"],"issn-type":[{"value":"1740-2123","type":"print"},{"value":"1740-2131","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"article-number":"85564"}}