{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:39:45Z","timestamp":1725853185338},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319325811"},{"type":"electronic","value":"9783319325828"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32582-8_5","type":"book-chapter","created":{"date-parts":[[2016,4,7]],"date-time":"2016-04-07T06:04:23Z","timestamp":1460009063000},"page":"78-96","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["River Basin Management with Spin"],"prefix":"10.1007","author":[{"given":"Mar\u00eda-del-Mar","family":"Gallardo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Merino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Panizo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Salmer\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,8]]},"reference":[{"key":"5_CR1","unstructured":"SAID Project 12 Feb 2015. \n                    http:\/\/www.said-project.eu"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s11269-006-0326-3","volume":"20","author":"S Ahmad","year":"2006","unstructured":"Ahmad, S., Simonovic, S.: An intelligent decision support system for management of floods. Water Resour. Manage. 20, 391\u2013410 (2006)","journal-title":"Water Resour. Manage."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BFb0031987","volume-title":"Real-Time: Theory in Practice","author":"R Alur","year":"1992","unstructured":"Alur, R., Dill, D.: The theory of timed automata. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 45\u201373. Springer, Heidelberg (1992)"},{"issue":"12","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1016\/j.envsoft.2003.12.004","volume":"19","author":"CT Cheng","year":"2004","unstructured":"Cheng, C.T., Chau, K.W.: Flood control management system for reservoirs. Environ. Model. Softw. 19(12), 1141\u20131150 (2004)","journal-title":"Environ. Model. Softw."},{"key":"5_CR5","unstructured":"D\u00edaz, M., Soler, E., Romero, S., Gallardo, M.M., Merino, P., Panizo, L., Salmer\u00f3n, A.: Technical specification of the DSS for flood management. Deliverable 1.3, SAID Project (2015)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-04570-7_20","volume-title":"Formal Methods for Industrial Critical Systems","author":"MM Gallardo","year":"2009","unstructured":"Gallardo, M.M., Merino, P., Panizo, L., Linares, A.: Developing a decision support tool for dam management with spin. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 210\u2013212. Springer, Heidelberg (2009)"},{"issue":"11","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1329","DOI":"10.1002\/spe.1048","volume":"41","author":"MM Gallardo","year":"2011","unstructured":"Gallardo, M.M., Merino, P., Panizo, L., Linares, A.: A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Pract. Experience 41(11), 1329\u20131347 (2011)","journal-title":"Softw. Pract. Experience"},{"key":"5_CR8","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0266-9838(91)90012-F","volume":"6","author":"A Karbowski","year":"1991","unstructured":"Karbowski, A.: Fc-ros - decision support system for reservoir operators during flood. Environ. Softw. 6(1), 11\u201315 (1991)","journal-title":"Environ. Softw."},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1061\/(ASCE)0733-9496(2004)130:2(93)","volume":"130","author":"JW Labadie","year":"2004","unstructured":"Labadie, J.W.: Optimal operation of multireservoir systems: state-of-the-art review. J. Water Resour. Plan. Manage. 130(2), 93\u2013111 (2004)","journal-title":"J. Water Resour. Plan. Manage."},{"key":"5_CR11","volume-title":"Decision support systems for dam planning and operation in Africa","author":"MP McCartney","year":"2007","unstructured":"McCartney, M.P.: Decision support systems for dam planning and operation in Africa. International Water Managment Institute, Colombo (2007)"},{"key":"5_CR12","unstructured":"Panizo, L., Gallardo, M.M., Merino, P., San\u00e1n, D., Linares, A.: Dam management based on model checking techniques. In: 8th International Conference on Software Engineering and Formal Methods. SEFM 2010: Proceedings of the Posters and Tooldemo Session, pp. 9\u201313. CNR, Pisa, Italy, Sept. 2010"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Polo, M., Herrero, J., Aguilar, C., Millares, A., Mo\u00f1ino, A., Nieto, S., Losada, M.: Wimmed, a distributed physically-based watershed model (i): Description and validation. Environmental Hydraulics: Theoretical, Experimental & Computational Solutions, pp. 225\u2013228 (2010)","DOI":"10.1201\/b10999-58"},{"key":"5_CR14","unstructured":"Pottinger, L.: A Flood of Dam Safety Problems, 8 Sept. 2010. \n                    https:\/\/www.internationalrivers.org\/resources\/a-flood-of-dam-safety-problems-1700"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32582-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,23]],"date-time":"2020-03-23T21:17:47Z","timestamp":1584998267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32582-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319325811","9783319325828"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32582-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"8 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}