{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:44:30Z","timestamp":1730299470925,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:00:00Z","timestamp":1598227200000},"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":[[2020,8,24]]},"DOI":"10.1109\/syscon47679.2020.9275899","type":"proceedings-article","created":{"date-parts":[[2020,12,8]],"date-time":"2020-12-08T04:40:26Z","timestamp":1607402426000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Safety Properties of Hybrid System Product Lines"],"prefix":"10.1109","author":[{"given":"Simon","family":"Diemert","sequence":"first","affiliation":[]},{"given":"Laure","family":"Millet","sequence":"additional","affiliation":[]},{"given":"Jeff","family":"Joyce","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055357"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0031-0"},{"key":"ref13","first-page":"200","article-title":"dReach: ?-Reachability Analysis for Hybrid Systems","author":"kong","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.21236\/ADA613813"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21401-6_36"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233797"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2001.948406"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"journal-title":"European Committee for Electrotechnical Standardization","article-title":"CENELEC - EN 50128 Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems","year":"2011","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.2914"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_18"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","article-title":"Uppaal SMC tutorial","volume":"17","author":"david","year":"2015","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"journal-title":"Radio Telecommunications Association","article-title":"DO-178C - Software Considerations in Airborne Systems and Equipment Certification","year":"2011","key":"ref2"},{"journal-title":"International Standards Organization for Standardization","article-title":"ISO 26262 – Road vehicles – Functional Safety","year":"2011","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038667"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2016.58"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2491627.2491654"},{"key":"ref24","first-page":"4e","volume":"1","author":"jacobson","year":"2014","journal-title":"The New Software Engineering"},{"key":"ref23","first-page":"337","article-title":"Z3: An Efficient SMT Solver","author":"de moura","year":"2008","journal-title":"Proceedings of the Theory and Practice of Software 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"}],"event":{"name":"2020 IEEE International Systems Conference (SysCon)","start":{"date-parts":[[2020,8,24]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2020,9,20]]}},"container-title":["2020 IEEE International Systems Conference (SysCon)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9275655\/9275656\/09275899.pdf?arnumber=9275899","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:16:37Z","timestamp":1656602197000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9275899\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,24]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/syscon47679.2020.9275899","relation":{},"subject":[],"published":{"date-parts":[[2020,8,24]]}}}