{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:43:22Z","timestamp":1730303002373,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/vlhcc.2013.6645239","type":"proceedings-article","created":{"date-parts":[[2013,10,31]],"date-time":"2013-10-31T00:13:08Z","timestamp":1383178388000},"page":"27-34","source":"Crossref","is-referenced-by-count":3,"title":["Policy enforcement and verification with Timed Modeling Spider Diagrams"],"prefix":"10.1109","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Fish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2011.6070385"},{"key":"2","article-title":"A visual language for temporal specifications based on spider diagrams","volume":"41","author":"bottoni","year":"2011","journal-title":"ECEASST"},{"journal-title":"Evaluating and Refining Diagrams That Support the Comprehension of Concurrency and Synchronization","year":"2008","author":"xie","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2012.10.007"},{"key":"7","first-page":"229","article-title":"On the synthesis of discrete controllers for timed systems","author":"maler","year":"0","journal-title":"Proc STACS'95 1995"},{"key":"6","first-page":"1","article-title":"Graph transformation with time","volume":"1","author":"gyapay","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s007660200019"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2000.0210"},{"key":"9","first-page":"226","article-title":"Model checking graph transformations: A comparison of two approaches","volume":"3256","author":"rensink","year":"2004","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.062"}],"event":{"name":"2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC)","start":{"date-parts":[[2013,9,15]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2013,9,19]]}},"container-title":["2013 IEEE Symposium on Visual Languages and Human Centric Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6631549\/6645226\/06645239.pdf?arnumber=6645239","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:09:11Z","timestamp":1602688151000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6645239"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/vlhcc.2013.6645239","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}