{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T04:01:38Z","timestamp":1746417698647,"version":"3.40.4"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105116"},{"type":"electronic","value":"9783319105123"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10512-3_1","type":"book-chapter","created":{"date-parts":[[2014,8,11]],"date-time":"2014-08-11T05:20:44Z","timestamp":1407734444000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["The Modeling and Analysis of Mixed-Criticality Systems"],"prefix":"10.1007","author":[{"given":"Sanjoy","family":"Baruah","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Slide-show: Introduction to aiT, http:\/\/www.absint.com\/ait\/slides\/4.htm (accessed on June 23, 2014)"},{"issue":"9","key":"1_CR2","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE\u00a079(9), 1270\u20131282 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"1_CR3","unstructured":"Burns, A., Davis, R.: Mixed-criticality systems: A review (2013), http:\/\/www-users.cs.york.ac.uk\/~burns\/review.pdf"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Prisaznuk, P.J.: Integrated modular avionics. In: Proceedings of the IEEE 1992 National Aerospace and Electronics Conference (NAECON 1992), vol.\u00a01, pp. 39\u201345 (May 1992)","DOI":"10.1109\/NAECON.1992.220669"},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/B:TIME.0000016129.97430.c6","volume":"26","author":"J. Real","year":"2004","unstructured":"Real, J., Crespo, A.: Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Syst.\u00a026(2), 161\u2013197 (2004)","journal-title":"Real-Time Syst."},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00365439","volume":"1","author":"L. Sha","year":"1988","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J., Ramamritham, K.: Mode change protocols for priority-driven preemptive scheduling. Real-Time Systems\u00a01, 243\u2013264 (1988)","journal-title":"Real-Time Systems"},{"key":"1_CR7","first-page":"239","volume-title":"Proceedings of the Real-Time Systems Symposium","author":"S. Vestal","year":"2007","unstructured":"Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the Real-Time Systems Symposium, pp. 239\u2013243. IEEE Computer Society Press, Tucson (2007)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10512-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T03:54:59Z","timestamp":1746330899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10512-3_1"}},"subtitle":["Extended Abstract"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105116","9783319105123"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10512-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}