{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:19:38Z","timestamp":1649153978830},"reference-count":33,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of General Systems"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1080\/03081070701794876","type":"journal-article","created":{"date-parts":[[2008,5,12]],"date-time":"2008-05-12T18:14:30Z","timestamp":1210616070000},"page":"391-413","source":"Crossref","is-referenced-by-count":1,"title":["Expressiveness of verifiable hierarchical clock systems"],"prefix":"10.1080","volume":"37","author":[{"given":"Moon Ho","family":"Hwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard P.","family":"Zeigler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_3"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"CIT0003","first-page":"340","volume-title":"Proceedings of the third conference on concurrency theory","author":"Alur R.","year":"1992"},{"key":"CIT0005","volume-title":"Proceedings of the in computer aided verification","author":"Behrmann G.","year":"1999"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-63166-6_19","volume-title":"Proceedings of the in computer aided verification","author":"Bozga M.","year":"1997"},{"key":"CIT0007","first-page":"83","volume-title":"Proceedings of the winter simulation conference","author":"Cutler M.","year":"1980"},{"key":"CIT0008","first-page":"197","volume-title":"Proceedings of the workshop on computer aided verification methods for finite state systems","author":"Dill D.L.","year":"1989"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055640"},{"key":"CIT0010","doi-asserted-by":"crossref","unstructured":"Ho, Y.C., 1993. Forward to the special issue. Discrete event dynamic systems:theory and applications, pp. 111","DOI":"10.1007\/BF01439844"},{"key":"CIT0011","unstructured":"Hocaoglu, M.F., Zeigler, C.F.B.P. and Sarjoughian, H.S. 2004. \u201cTemporal system identification and model verification\u201d. InProceedings of the foundations'04: a workshop for V&V in the 21st century, Tempe, AZ: US Department of Defense. 13\u201315 Oct"},{"key":"CIT0012","first-page":"19","volume":"13","author":"Hong G.P.","year":"1996","journal-title":"Transactions of the society for computer simulation"},{"key":"CIT0013","first-page":"257","volume-title":"Proceedings of the 13th international conference on AI, simulation, and planning in high autonomy systems","author":"Hong K.J.","year":"2005"},{"key":"CIT0014","volume-title":"Introduction to automata theory, languages, and computation","author":"Hopcroft J.E.","year":"2000","edition":"2"},{"key":"CIT0015","volume-title":"Proceedings of 2005 IEEE-CASE","author":"Hwang M.H.","year":"2005"},{"key":"CIT0016","volume-title":"Proceedings of 2005 spring simulation multi-conference: proceedings of 2005 DEVS symposium","author":"Hwang M.H.","year":"2005"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1177\/003754979907200203"},{"key":"CIT0018","unstructured":"Hwang, M.H. and Zeigler, B.P. 2006a. \u201cA modular verification framework using finite & deterministic DEVS\u201d. InProceedings of 2006 spring simulation multi-conference: proceedings of 2006 DEVS symposium57\u201365. Apr 2\u20138, Huntsville, AL"},{"key":"CIT0019","first-page":"48","volume-title":"Proceedings of the proceedings of 2006 spring simulation multi-conference: proceedings of 2006 DEVS symposium","author":"Hwang M.H.","year":"2006"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1137\/S1064827502418379"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"Lewis, R.W., 1998. Programming industrial control system using IEC 1131-3, Revised (The Institution of Electrical Engineers)","DOI":"10.1049\/PBCE050E"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1080\/03081079108935175"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/BF01439846"},{"key":"CIT0024","volume-title":"Proceedings of the 25th winter simulation conference","author":"Sargent R.G.","year":"1993"},{"key":"CIT0025","volume-title":"VHDL for programmable logic","author":"Skahill K.","year":"1996"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008734703554"},{"key":"CIT0027","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5537-7","volume-title":"Timed petri nets: theory and application","author":"Wang J.","year":"1998"},{"key":"CIT0031","volume-title":"Theory of modelling and simulation","author":"Zeigler B.P.","year":"1976","edition":"1"},{"key":"CIT0032","volume-title":"Multifacetted modeling and discrete event simulation","author":"Zeigler B.P.","year":"1984","edition":"1"},{"key":"CIT0033","volume-title":"Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems","author":"Zeigler B.P.","year":"1990","edition":"2"},{"key":"CIT0028","unstructured":"Zeigler, B.P. 2006. \u201cEmbedding DEV&DESS in DEVS: characteristic bahaviors of hybrid models\u201d. InProceedings of 2006 spring simulation multi-conference: DEVS integrative M&S symposium, 125\u2013132. Huntsville, AL: SCS."},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/21.199467"},{"key":"CIT0030","volume-title":"Theory of modelling and simulation: integrating discrete event and continuous complex dynamic systems","author":"Zeigler B.P.","year":"2000","edition":"2"}],"container-title":["International Journal of General Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/03081070701794876","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T08:42:19Z","timestamp":1557564139000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/03081070701794876"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["10.1080\/03081070701794876"],"URL":"https:\/\/doi.org\/10.1080\/03081070701794876","relation":{},"ISSN":["0308-1079","1563-5104"],"issn-type":[{"value":"0308-1079","type":"print"},{"value":"1563-5104","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}