{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:47:53Z","timestamp":1725893273405},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642324680"},{"type":"electronic","value":"9783642324697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32469-7_10","type":"book-chapter","created":{"date-parts":[[2012,8,21]],"date-time":"2012-08-21T21:07:27Z","timestamp":1345583247000},"page":"146-161","source":"Crossref","is-referenced-by-count":4,"title":["Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Droste","sequence":"first","affiliation":[]},{"given":"Christoph","family":"L\u00e4sche","sequence":"additional","affiliation":[]},{"given":"Cilli","family":"Sobiech","sequence":"additional","affiliation":[]},{"given":"Eckard","family":"B\u00f6de","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Hahn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"European Union: Directive 2009\/28\/EC of the European Parliament and of the Council of 23 April 2009 on the promotion of the use of energy from renewable sources and amending and subsequently repealing Directives 2001\/77\/EC and 2003\/30\/EC (2009)"},{"key":"10_CR2","unstructured":"Bundesamt f\u00fcr Seeschifffahrt und Hydrographie: Genehmigung von Offshore Windenergieparks (2012), \n                  \n                    http:\/\/www.bsh.de\/de\/Meeresnutzung\/Wirtschaft\/Windparks\/index.jsp"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Thomsen, K.E.: Offshore Wind: A Comprehensive Guide to Successful Offshore Wind Farm Installation. Elsevier Science & Technology, Amsterdam (2012)","DOI":"10.1016\/B978-0-12-385936-5.00021-7"},{"key":"10_CR4","unstructured":"NDR online: Retter setzen Suche in der Nordsee fort, January 28 (2012) \n                  \n                    http:\/\/www.ndr.de\/regional\/niedersachsen\/oldenburg\/arbeitsunfall103.html"},{"key":"10_CR5","unstructured":"Brandt, J.: Stundenlange Suche nach dem Vermissten auf See. Ostfriesen-Zeitung, January 26 (2012)"},{"key":"10_CR6","unstructured":"Vertikal.net: Fatal accident in Harwich, May 21 (2010), \n                  \n                    http:\/\/www.vertikal.net\/en\/news\/story\/10145\/"},{"key":"10_CR7","unstructured":"Stromsta, K.E.: Firms fined for grisly accident at Scottish offshore project, September 28, (2010), \n                  \n                    http:\/\/www.rechargenews.com\/energy\/wind\/article230665.ece"},{"key":"10_CR8","unstructured":"Lenk, J.C., Droste, R., Sobiech, C., L\u00fcdtke, A., Hahn, A.: Towards Cooperative Cognitive Models in Multi-Agent Systems. In: International Conference on Advanced Cognitive Technologies and Applications (2012)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Wehs, T., Janssen, M., Koch, C., von C\u00f6lln, G.: System Architecture for Data Communication and Localization under Harsh Environmental Conditions in Maritime Automation. In: IEEE 10th International Conference on Industrial Informatics (2012)","DOI":"10.1109\/INDIN.2012.6300864"},{"key":"10_CR10","unstructured":"E&P Forum: Guidelines for the Development and Application of Health, Safety and Environmental Management Systems, London, E&P Forum (1994)"},{"key":"10_CR11","unstructured":"OGP: HSE management - guidelines for working together in a contract environment, London, Int. Assoc. of Oil & Gas Producers (2000)"},{"key":"10_CR12","volume-title":"Offshore Risk Assessment : Principles, Modelling and Applications of QRA Studies","author":"J.E. Vinnem","year":"2007","unstructured":"Vinnem, J.E.: Offshore Risk Assessment: Principles, Modelling and Applications of QRA Studies, 2nd edn. Springer, London (2007)","edition":"2"},{"key":"10_CR13","unstructured":"Tveiten, C.K., Albrechtsen, E., Heggset, J., Hofmann, M., Jersin, E., Leira, B., Norddal, P.K.: HSE challenges related to offshore renewable energy. Volume Report A18107, Trondheim, SINTEF Technology & Society (2011)"},{"key":"10_CR14","unstructured":"Deutscher Bundestag: Keine zus\u00e4tzlichen Sicherheitsanforderungen bei Offshore-Windanlagen, Berlin, PuK 2 Parlamentskorrespondenz, Drucksache 17\/5441 (2011)"},{"key":"10_CR15","unstructured":"RenewableUK: Guidelines for Onshore and Offshore Wind Farms - Health & Safety in the Wind Energy Industry Sector, London, RenewableUK (2010)"},{"key":"10_CR16","unstructured":"BSI: Occupational Health and Safety Management Systems: Guidelines for the Implementation of OHSAS 18001, London, British Standards Institution (2000)"},{"key":"10_CR17","unstructured":"NOGEPA: Helideck Operations and Procedures Manual, \u2019s-Gravenhage, NOGEPA (2011)"},{"key":"10_CR18","unstructured":"IMCA: FMEA Management Guide, London, International Marine Contractors Association (2005), M 178"},{"key":"10_CR19","unstructured":"IMCA: Guidelines for Lifting Operations, London, International Marine Contractors Association (2007), SEL 019"},{"key":"10_CR20","unstructured":"GL: Richtlinie zur Erstellung von technischen Risikoanalysen f\u00fcr Offshore-Windparks, Hamburg, Germanischer Lloyd (2002)"},{"key":"10_CR21","unstructured":"OMG: Business Process Model and Notation (BPMN) Version 2.0. OMG (2011)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-642-02809-0_43","volume-title":"Digital Human Modeling","author":"A. L\u00fcdtke","year":"2009","unstructured":"L\u00fcdtke, A., Weber, L., Osterloh, J.P., Wortelen, B.: Modeling Pilot and Driver Behavior for Human Error Simulation. In: Duffy, V.G. (ed.) ICDHM 2009. LNCS, vol.\u00a05620, pp. 403\u2013412. Springer, Heidelberg (2009)"},{"key":"10_CR23","unstructured":"International Electrotechnical Commission: IEC 61508 (2010)"},{"key":"10_CR24","unstructured":"International Electrotechnical Commission: IEC 61511 (2003)"},{"issue":"1","key":"10_CR25","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0022-4375(02)00005-1","volume":"33","author":"J. Wang","year":"2002","unstructured":"Wang, J.: Offshore safety case approach and formal safety assessment of ships. Journal of Safety Research\u00a033(1), 81\u2013115 (2002)","journal-title":"Journal of Safety Research"},{"key":"10_CR26","unstructured":"International Organization for Standardization: ISO\/DIS 26262 - Road vehicles Functional safety (2011)"},{"key":"10_CR27","unstructured":"Reu\u00df, C.: Automotive Generic Hazard List. Technische Universit\u00e4t Braunschweig (2009)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Beisel, D., Reu\u00df, C., Schnieder, E.: Approach of an Automotive Generic Hazard List. In: Proceedings of European Safety and Reliability, ESREL (2010)","DOI":"10.1061\/41177(415)292"},{"key":"10_CR29","unstructured":"IMO: Lessons Learned from Casualties for Presentation to Seafarers (2004\/2006\/2010), \n                  \n                    http:\/\/www.imo.org\/blast\/mainframe.asp?topic_id=800"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/11875567_21","volume-title":"Computer Safety, Reliability, and Security","author":"T. Peikenkamp","year":"2006","unstructured":"Peikenkamp, T., Cavallo, A., Valacca, L., B\u00f6de, E., Pretzer, M., Hahn, E.M.: Towards a Unified Model-Based Safety Assessment. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 275\u2013288. Springer, Heidelberg (2006)"},{"key":"10_CR31","unstructured":"\u00c5kerlund, O., et al.: ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects. ERTS (2006)"},{"key":"10_CR32","unstructured":"Rensink, A.: The Joys of Graph Transformation. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica 9 (2005)"},{"key":"10_CR33","unstructured":"Kastenberg, H.: Graph-based software specification and verification. PhD thesis, University of Twente, Enschede (2008)"},{"key":"10_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-540-30579-8_25","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"T. Latvala","year":"2005","unstructured":"Latvala, T., Biere, A., Heljanko, K., Junttila, T.: Simple Is Better: Efficient Bounded Model Checking for Past LTL. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 380\u2013395. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32469-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:03:42Z","timestamp":1620129822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32469-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642324680","9783642324697"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32469-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}