{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T13:50:04Z","timestamp":1773669004107,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641353","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:11:18Z","timestamp":1291151478000},"page":"1-8","source":"Crossref","is-referenced-by-count":13,"title":["Integrating the 3+1 SysML view model with safety engineering"],"prefix":"10.1109","author":[{"given":"K","family":"Thramboulidis","sequence":"first","affiliation":[]},{"given":"S","family":"Scholz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"11","article-title":"SOPHIA: A Modeling Language for Model-Based Safety Engineering","author":"cancila","year":"0","journal-title":"MoDELS'09 ACESMB Workshop Proceedings Denver 2009"},{"key":"18","first-page":"1","article-title":"Integrating SysML-based System Modeling with Safety Engineering","author":"scholz","year":"0","journal-title":"Design Automation and Test in Europe (DATE) Workshop on Model Based Engineering for Embedded Systems Design 8-12 March 2010 Dresden Germany"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416901"},{"key":"16","author":"constantine","year":"0","journal-title":"Activity Modeling Toward a Pragmatic Integration of Activity Theory with Usage-Centered Design"},{"key":"13","article-title":"Bridging UML and safety-critical software development environments","author":"le guennec","year":"0","journal-title":"Int Conf on Embedded and Real-Time Software ERTS 2006"},{"key":"14","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1007\/978-3-540-75209-7_39","article-title":"A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software","volume":"4735","author":"zoughbi","year":"2007","journal-title":"Model Driven Engineering Languages and Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2005.844427"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217012"},{"key":"3","year":"0","journal-title":"EN 50128 2001 - Railway Applications Software for Railway Control and Protection Systems"},{"key":"2","year":"1998","journal-title":"IEC 61508 Functional Safety of Electrical\/electronic\/programmable Electronic Safety-related Systems"},{"key":"1","article-title":"?he Function Block Model in Embedded Control and Automation: From IEC61131 to IEC61499","volume":"8","author":"thramboulidis","year":"2009","journal-title":"WSEAS Transactions on Computer"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.2001.948563"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2009.934788"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44910-2_10"},{"key":"5","author":"douglas","year":"0","journal-title":"Build Safety-Critical Designs with UML-based Fault Tree Analysis"},{"key":"4","year":"2006","journal-title":"IEC 62227 Railway Applications Automated Urban Guided Transport (AUGT) Safety Requirements"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.32014"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549440"}],"event":{"name":"Factory Automation (ETFA 2010)","location":"Bilbao","start":{"date-parts":[[2010,9,13]]},"end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641353.pdf?arnumber=5641353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:42:21Z","timestamp":1497890541000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641353\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641353","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}