{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T01:10:27Z","timestamp":1746493827093},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540682356"},{"type":"electronic","value":"9783540682370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_30","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"419-424","source":"Crossref","is-referenced-by-count":4,"title":["Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System"],"prefix":"10.1007","author":[{"given":"Klaas","family":"Wijbrans","sequence":"first","affiliation":[]},{"given":"Franc","family":"Buve","sequence":"additional","affiliation":[]},{"given":"Robin","family":"Rijkers","sequence":"additional","affiliation":[]},{"given":"Wouter","family":"Geurts","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"IEC, Functional Safety: Safety Related Systems, International Standard IEC 61508, International Electrotechnical Commission, Geneva, Switzerland (1996)"},{"key":"30_CR2","unstructured":"Wijbrans, K., Buve, F., Geurts, W.: Practical Experiences in the BOS project. In: Proceedings of the Embedded Systems Symposium, Eindhoven, The Netherlands (1998)"},{"key":"30_CR3","unstructured":"Wijbrans, K., Buve, R.: Software bestuurt de stormvloedkering. Software Release Magazine\u00a050(5) (in Dutch, 1998)"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1511","DOI":"10.1007\/3-540-48118-4_30","volume-title":"FM\u201999 - Formal Methods","author":"M. Chaudron","year":"1999","unstructured":"Chaudron, M., Tretmans, J., Wijbrans, K.: Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1511\u20131526. Springer, Heidelberg (1999)"},{"key":"30_CR5","unstructured":"Geurts, W., Wijbrans, K., Tretmans, J.: Testing and Formal Methods \u2013 BOS project case study. In: EuroSTAR 1998: 6th European Int. Conference on Software Testing, Analysis & Review, Munich, Germany, pp. 215\u2013229 (1998)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Tretmans, G.J., Wijbrans, K.C.J., Chaudron, M.: Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods. Formal Methods in System Design\u00a019(2), 195\u2013215 (2001), ISSN 0925-9856","DOI":"10.1023\/A:1011236117591"},{"key":"30_CR7","unstructured":"http:\/\/www.deltawerken.com\/Maeslant-barrier\/330.html"},{"key":"30_CR8","unstructured":"Letter from the minister to the Tweede Kamer, RWS\/SDG\/NW 2006\/332\/23875 (February 20, 2006) (in Dutch)"},{"key":"30_CR9","unstructured":"Groote, J.F., Verhoef, C.: Hoe betrouwbaar is de Maeslantkering. Automatiseringsgids\u00a014 (April 7, 2006) (in Dutch)"},{"key":"30_CR10","unstructured":"prof. Horvath, et al.: Second Opinion Faalkans Maeslantkering (June 27, 2006) (in Dutch)"},{"key":"30_CR11","unstructured":"http:\/\/catless.ncl.ac.uk\/Risks\/3.34.html"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:43:44Z","timestamp":1620017024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_30","relation":{},"subject":[]}}