{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:01:54Z","timestamp":1725897714760},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336775"},{"type":"electronic","value":"9783642336782"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33678-2_4","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T15:02:42Z","timestamp":1346943762000},"page":"37-48","source":"Crossref","is-referenced-by-count":1,"title":["A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations ,"],"prefix":"10.1007","author":[{"given":"Christoph","family":"L\u00e4sche","sequence":"first","affiliation":[]},{"given":"Eckard","family":"B\u00f6de","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Peikenkamp","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","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":"4_CR2","unstructured":"Bundesministerium f\u00fcr Umwelt, Naturschutz und Reaktorsicherheit: Entwicklung der Offshore-Windenergienutzung in Deutschland\/Offshore wind power deployment in Germany (2007)"},{"key":"4_CR3","unstructured":"Brandt, J.: Stundenlange Suche nach dem Vermissten auf See. Ostfriesen-Zeitung (January 26, 2012)"},{"key":"4_CR4","unstructured":"Vertikal.net: Fatal accident in Harwich (May 21, 2010), \n                    \n                      http:\/\/www.vertikal.net\/en\/news\/story\/10145\/"},{"key":"4_CR5","unstructured":"Maier, M.W.: Architecting Principles for Systems-of-Systems. TiAC White Paper Repository (December 20, 2010), \n                    \n                      http:\/\/www.infoed.com\/Open\/PAPERS\/systems.html"},{"key":"4_CR6","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":"4_CR7","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":"4_CR8","unstructured":"International Organization for Standardization: ISO\/DIS 26262 - Road vehicles Functional safety (2011)"},{"key":"4_CR9","unstructured":"International Electrotechnical Commission: IEC 61508 (2010)"},{"key":"4_CR10","unstructured":"Vinnem, J.E.: Offshore Risk Assessment, 2nd edn. Springer (2007)"},{"key":"4_CR11","unstructured":"International Electrotechnical Commission: IEC 61511 (2003)"},{"issue":"1","key":"4_CR12","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":"4_CR13","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":"4_CR14","unstructured":"\u00c5kerlund, O., et al.: ISAAC, a framework for integrated safety analyses of functional, geometrical and human aspects. In: ERTS (2006)"},{"key":"4_CR15","unstructured":"Reu\u00df, C.: Automotive Generic Hazard List. Technische Universit\u00e4t Braunschweig (2009)"},{"key":"4_CR16","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":"4_CR17","unstructured":"IMO: Lessons Learned from Casualities for Presentation to Seafahrers, (2004\/2006\/2010), \n                    \n                      http:\/\/www.imo.org\/blast\/mainframe.asp?topic_id=800"},{"key":"4_CR18","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.A.: 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","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33678-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:18:50Z","timestamp":1620130730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33678-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336775","9783642336782"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33678-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}