{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:55:00Z","timestamp":1725803700016},"publisher-location":"Cham","reference-count":5,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_5","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T08:12:24Z","timestamp":1409127144000},"page":"27-35","source":"Crossref","is-referenced-by-count":2,"title":["Evaluation of Safety Rules in a Safety Kernel-Based Architecture"],"prefix":"10.1007","author":[{"given":"Eric","family":"Vial","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nio","family":"Casimiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Brade, T., Zug, S., Kaiser, J.: Validity-based failure algebra for distributed sensor systems. In: SRDS, pp. 143\u2013152 (2013)","DOI":"10.1109\/SRDS.2013.23"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Casimiro, A., Kaiser, J., Schiller, E.M., Costa, P., Parizi, J., Johansson, R., Librino, R.: The karyon project: Predictable and safe coordination in cooperative vehicular systems. In: 2013 43rd Annual IEEE\/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), pp. 1\u201312. IEEE (2013)","DOI":"10.1109\/DSNW.2013.6615530"},{"key":"5_CR3","unstructured":"GLib Project: Rsimple xml subset parser, version 2.37 (2014)"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MS.2001.936213","volume":"18","author":"L. Sha","year":"2001","unstructured":"Sha, L.: Using simplicity to control complexity. IEEE Software\u00a018(4), 20\u201328 (2001)","journal-title":"IEEE Software"},{"issue":"8","key":"5_CR5","doi-asserted-by":"publisher","first-page":"916","DOI":"10.1109\/TC.2002.1024739","volume":"51","author":"P. Verissimo","year":"2002","unstructured":"Verissimo, P., Casimiro, A.: The timely computing base model and architecture. IEEE Transactions on Computers\u00a051(8), 916\u2013930 (2002)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10557-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T06:29:22Z","timestamp":1565764162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}