{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:07:14Z","timestamp":1725610034607},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/etfa.2019.8869326","type":"proceedings-article","created":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T23:18:52Z","timestamp":1571354332000},"page":"306-313","source":"Crossref","is-referenced-by-count":2,"title":["Statistical Model Checking for Real-Time Database Management Systems: A Case Study"],"prefix":"10.1109","author":[{"given":"Simin","family":"Cai","sequence":"first","affiliation":[]},{"given":"Barbara","family":"Gallina","sequence":"additional","affiliation":[]},{"given":"Dag","family":"Nystrom","sequence":"additional","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054178"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/132271.132276"},{"key":"ref12","first-page":"140","article-title":"Customized atomicity specification for transactional workflows","author":"derks","year":"2001","journal-title":"The Proceedings of the 3rd CODAS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942758"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.05.006"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1236"},{"journal-title":"Fundamentals of Database Systems","year":"2004","author":"elmasri","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2000.839388"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2997465.2997495"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01264051"},{"key":"ref6","article-title":"Verification and planning for stochastic processes with asynchronous events","author":"younes","year":"2005","journal-title":"Tech Rep"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2018.00021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"journal-title":"Transaction Processing Concepts and Techniques","year":"1992","author":"gray","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2012.173"},{"journal-title":"Statistical model checking for real-time database management systems Repository","year":"0","author":"cai","key":"ref9"}],"event":{"name":"2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2019,9,10]]},"location":"Zaragoza, Spain","end":{"date-parts":[[2019,9,13]]}},"container-title":["2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8851311\/8868236\/08869326.pdf?arnumber=8869326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T14:49:11Z","timestamp":1658155751000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8869326\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2019.8869326","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}