{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:52:19Z","timestamp":1760597539127,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/topi.2012.6229813","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:36:12Z","timestamp":1341941772000},"page":"67-72","source":"Crossref","is-referenced-by-count":4,"title":["SAML goes eclipse — Combining model-based safety analysis and high-level editor support"],"prefix":"10.1109","author":[{"given":"Michael","family":"Lipaczewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Struck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC.2004.1286894"},{"key":"22","first-page":"423","article-title":"Model-Based Multi- Objective Safety Optimization","volume":"2011","author":"gu?demann","year":"0","journal-title":"LNCS"},{"key":"17","article-title":"Formal failure models","author":"ortmeier","year":"2007","journal-title":"Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2007)"},{"journal-title":"Formale Sicherheitsanalyse","year":"2006","author":"ortmeier","key":"18"},{"journal-title":"Qualitative and Quantitative Formal Model- Based Safety Analysis","year":"2011","author":"gu?demann","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.24"},{"journal-title":"Model Based Importance Analysis for Minimal Cut Sets","year":"2008","author":"bo?de","key":"13"},{"key":"14","article-title":"Probabilistic model-based safety analysis","author":"gu?demann","year":"2012","journal-title":"Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.28.8"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.18"},{"key":"21","article-title":"On modeling probabilistic aspects of failure modes efficiently","author":"gu?demann","year":"2012","journal-title":"Proceedings of the 34th International Conference on Software Engineering SEES ICSE2012"},{"journal-title":"ISO 26262 Road Vehicles-Functional Safety Draft International Standard (DIS)","year":"2009","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2004.1299359"},{"journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"2"},{"journal-title":"An Overview of IEC 61508 on E\/E\/PE Functional Safety","year":"2008","author":"ladkin","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311935"},{"key":"7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-39878-3_5","article-title":"Improving system reliability via model checking: The FSAP\/NuSMV-SA safety analysis platform","author":"bozzano","year":"2003","journal-title":"Proceedings of the 22nd International Conference on Computer Safety Reliability and Security (SAFECOMP 2003)"},{"key":"6","article-title":"Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA)","volume":"3463","author":"ortmeier","year":"2005","journal-title":"LNCS"},{"key":"5","article-title":"Using deductive cause consequence analysis (DCCA) with SCADE","volume":"4680","author":"gu?demann","year":"2007","journal-title":"LNCS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.38"},{"key":"9","article-title":"Combining formal methods and safety analysis - The ForMoSA approach","volume":"3147","author":"ortmeier","year":"2004","journal-title":"LNCS"},{"key":"8","article-title":"ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects","author":"a?kerlund","year":"2006","journal-title":"Proceedings of 2nd European Congress on Embedded Real Time Software (ERTS 2006)"}],"event":{"name":"2012 2nd Workshop on Developing Tools as Plug-ins (TOPI)","start":{"date-parts":[[2012,6,3]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220301\/6229799\/06229813.pdf?arnumber=6229813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:11:13Z","timestamp":1497978673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6229813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/topi.2012.6229813","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}