{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:53:08Z","timestamp":1771026788270,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/qest.2004.1348021","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T16:28:24Z","timestamp":1099931304000},"page":"70-79","source":"Crossref","is-referenced-by-count":14,"title":["ORIS: a tool for state-space analysis of real-time preemptive systems"],"prefix":"10.1109","author":[{"given":"G.","family":"Bucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Sassoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","article-title":"Generalized rate monotonie scheduling theory: A framework for developing real time systems","volume":"82","author":"sha","year":"1994","journal-title":"IEEE Proceedings"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"11","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BFb0020947","article-title":"The tool KRONOS","volume":"1066","author":"daws","year":"1996","journal-title":"LNCS Hybrid Systems II"},{"key":"12","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"407","author":"dill","year":"1989","journal-title":"Proc Workshop Automatic Verification Methods Finite State Systems"},{"key":"3","first-page":"460","article-title":"Times - A tool for modelling and implementation of embedded systems","volume":"2280","author":"amnell","year":"2002","journal-title":"LNCS"},{"key":"2","first-page":"74","article-title":"Logics and models of real time: A survey","volume":"600","author":"alur","year":"1992","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"10","first-page":"138","article-title":"The impressive power of stopwatches","volume":"1877","author":"cassez","year":"2000","journal-title":"LNCS"},{"key":"7","first-page":"41","article-title":"An enumerative approach for analyzing Time Petri Nets","volume":"9","author":"berthomieu","year":"1983","journal-title":"IFIP Congress Series"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"5","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","article-title":"UPPAAL: A tool-suite for automatic verification of real-time systems","volume":"1066","author":"bengtsson","year":"1995","journal-title":"LNCS Hybrid Systems II"},{"key":"4","first-page":"12","article-title":"Preemptive multiprocessor scheduling anomalies","author":"andersson","year":"2002","journal-title":"Proc of the IPDPS 2002"},{"key":"9","author":"buttazzo","year":"1997","journal-title":"Hard Real-Time Computing Systems"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"}],"event":{"name":"First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.","location":"Enschede, Netherlands","start":{"date-parts":[[2004,11,12]]},"end":{"date-parts":[[2004,11,12]]}},"container-title":["First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9341\/29678\/01348021.pdf?arnumber=1348021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:39:17Z","timestamp":1497613157000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1348021\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/qest.2004.1348021","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}