{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:52Z","timestamp":1761487972011,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416901","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T15:59:03Z","timestamp":1199462343000},"page":"1069-1075","source":"Crossref","is-referenced-by-count":10,"title":["UML-based safety analysis of distributed automation systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Schreiber","sequence":"first","affiliation":[]},{"given":"T.","family":"Schmidberger","sequence":"additional","affiliation":[]},{"given":"A.","family":"Fay","sequence":"additional","affiliation":[]},{"given":"J.","family":"May","sequence":"additional","affiliation":[]},{"given":"J.","family":"Drewes","sequence":"additional","affiliation":[]},{"given":"E.","family":"Schnieder","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Using Qualitative Models for Safety Analysis of Industrial Automation Systems","author":"biegert","year":"2000","journal-title":"13th Conference on Software & Systems Engineering and their Applications – ICSSEA"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/s10489-006-8517-4"},{"year":"0","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/EFTA.2007.4416790"},{"year":"2005","journal-title":"RuleML version 0 8","key":"ref14"},{"year":"2007","journal-title":"Functional RuleML version 0 91","key":"ref15"},{"year":"2003","author":"sandhu","journal-title":"The Mathml Handbook","key":"ref16"},{"key":"ref17","article-title":"Structured approach of a generic (signalling) hazard list for railway (interlocking) systems","author":"drewes","year":"2005","journal-title":"Proceedings of the 5th European Congress and Exhibition on Intelligent Transport Systems and Services-HITS 2005\/01 -03 06 2005"},{"year":"2004","journal-title":"IEC 61511–1","article-title":"Safety instrumented systems for the process industry sector","key":"ref3"},{"key":"ref6","article-title":"Fault Tree Analysis for Process Plants","volume":"i","author":"hauptmanns","year":"1988","journal-title":"Eng Risk and Hazard Assessment"},{"year":"0","journal-title":"The Council of the European Union Seveso II Directive CONCIL DIRECTIVE 96\/82\/EC of 9 December 1996 on the control of major-accident hazards involving dangerous substances + The Council of the European Union Directive 2003\/105\/EC of the European Parliament and of the Council of 16 December 20003 amending Council Directive 96\/82\/EC on the control of major-accident hazards involving dangerous substances","key":"ref5"},{"year":"2001","author":"crowl","journal-title":"Chemical process safety","key":"ref8"},{"key":"ref7","first-page":"689","article-title":"Plant risk and safety analyses using quantitative and semi-quantitative methods-a comparison","volume":"xxxviii","author":"hauptmanns","year":"2003","journal-title":"Journal of the University of Chemical Technology and Metallurgy"},{"year":"2002","journal-title":"IEC 61508–1","article-title":"Functional Safety of Electrical\/Electronicl Programmable electronic Safety-Related Systems","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/j.ces.2005.12.012"},{"year":"1999","author":"kletz","journal-title":"HAZOP and HAZAN","key":"ref9"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416901.pdf?arnumber=4416901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T10:36:28Z","timestamp":1489660588000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416901\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416901","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}