{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:16Z","timestamp":1759132036231,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issrew.2013.6688861","type":"proceedings-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T18:44:26Z","timestamp":1388774666000},"page":"37-44","source":"Crossref","is-referenced-by-count":4,"title":["ARRL: A criterion for compositional safety and systems engineering: A normative approach to specifying components"],"prefix":"10.1109","author":[{"given":"Eric","family":"Verhulst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard H.C.","family":"Sputh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Development Guidance and Certification Considerations","year":"0","key":"13"},{"journal-title":"Formal Aspects of Component Software Lecture Notes in Computer Science","year":"2012","key":"11"},{"key":"12","article-title":"For-mal development of a network-centric rtos","author":"verhulst","year":"2011","journal-title":"Software Engineering for Reliable Embedded Systems"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"year":"0","key":"1"},{"journal-title":"Engineering A Safer World","year":"2011","author":"levenson","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(93)90010-V"},{"journal-title":"Available from","year":"0","key":"6"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"journal-title":"A Cross-domain Comparison of Software Development Assurance Standards","year":"2012","key":"9"},{"volume":"3","journal-title":"International Journal of Business Intelligence and Data Mining","year":"2008","key":"8"}],"event":{"name":"2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2013,11,4]]},"location":"Pasadena, CA, USA","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679593\/6688826\/06688861.pdf?arnumber=6688861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:53:57Z","timestamp":1602690837000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6688861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/issrew.2013.6688861","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}