{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T02:55:03Z","timestamp":1763348103555},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T00:00:00Z","timestamp":1508803200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s10009-017-0478-x","type":"journal-article","created":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T00:58:11Z","timestamp":1508806691000},"page":"499-514","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Integrating river basin DSSs with model checking"],"prefix":"10.1007","volume":"20","author":[{"given":"Mar\u00eda","family":"del Mar 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":[[2017,10,24]]},"reference":[{"key":"478_CR1","unstructured":"SAID Project (2015). http:\/\/www.said-project.eu"},{"key":"478_CR2","doi-asserted-by":"crossref","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. Manag. 20, 391\u2013410 (2006)","journal-title":"Water Resour. Manag."},{"key":"478_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: The Theory of Timed Automata. In: REX Workshop, LNCS, pp. 45\u201373. Springer-Verlag, Berlin, Heidelberg (1991)","DOI":"10.1007\/BFb0031987"},{"issue":"12","key":"478_CR4","doi-asserted-by":"crossref","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. Modelling Softw. 19(12), 1141\u20131150 (2004)","journal-title":"Environ. Modelling Softw."},{"key":"478_CR5","unstructured":"D\u00edaz, M., Gallardo, M.d.M., Merino, P., Panizo, L., Soler, E., Romero, S.: Smart Flood Management DSS. In: Proceedings of the International Conference and Exhibition Hydropower and Dams, Montreux, Switzerland, October 10\u201312 (2016)"},{"key":"478_CR6","unstructured":"Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis (2000). AAI9980887"},{"key":"478_CR7","doi-asserted-by":"publisher","unstructured":"Gallardo, M.d.M., Merino, P., Panizo, L., Salmer\u00f3n, A.: River basin management with Spin. In: D.\u00a0Bo\u0161na\u010dki, A.\u00a0Wijs (eds.) Proceedings of the 23rd International Symposium Model Checking Software, SPIN 2016, Eindhoven, The Netherlands, April 7-8, 2016, pp. 78\u201396. Springer International Publishing (2016). doi: 10.1007\/978-3-319-32582-8_5","DOI":"10.1007\/978-3-319-32582-8_5"},{"key":"478_CR8","doi-asserted-by":"crossref","unstructured":"Gallardo, M.M., Merino, P., Panizo, L., Linares, A.: Developing a decision support tool for dam management with SPIN. In: 14th International Workshop, FMICS 2009, LNCS, pp. 210\u2013212. Springer, Eindhoven (2009)","DOI":"10.1007\/978-3-642-04570-7_20"},{"issue":"11","key":"478_CR9","doi-asserted-by":"crossref","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. Practice Exp. 41(11), 1329\u20131347 (2011)","journal-title":"Softw. Practice Exp."},{"key":"478_CR10","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, Boston (2003)"},{"issue":"1","key":"478_CR11","doi-asserted-by":"crossref","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."},{"key":"478_CR12","doi-asserted-by":"publisher","unstructured":"Kars, P.: Formal methods in the design of a storm surge barrier control system. In: Rozenberg, G., Vaandrager, F. (eds.): Formal methods in the design of a storm surge barrier control system. Lectures on Embedded Systems, LNCS, vol. 1494, pp. 353\u2013367. Springer, Berlin Heidelberg (1998). doi: 10.1007\/3-540-65193-4_28","DOI":"10.1007\/3-540-65193-4_28"},{"issue":"2","key":"478_CR13","doi-asserted-by":"crossref","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. Manag. 130(2), 93\u2013111 (2004)","journal-title":"J. Water Resour. Plan. Manag."},{"key":"478_CR14","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 Management Institute, Colombo (2007)"},{"key":"478_CR15","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 (2010)"},{"key":"478_CR16","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. Environ. Hydraul. Theor. Exp. Comput. Solut. pp. 225\u2013228 (2010)","DOI":"10.1201\/b10999-58"},{"key":"478_CR17","unstructured":"Pottinger, L.: A Flood of Dam Safety Problems (2010). https:\/\/www.internationalrivers.org\/resources\/a-flood-of-dam-safety-problems-1700"},{"key":"478_CR18","unstructured":"SAID Consortium: Decision Support System for Flood Risk Management. SAID Project Fact Sheet (2016). http:\/\/www.said-project.eu\/wp-content\/uploads\/2016\/02\/SAID-Factsheet-DSS-for-flood-risk-management.pdf"},{"key":"478_CR19","unstructured":"\u00c1vila, A., Losada, M., Polo, M.: Guadalfortran: No stationary calculation in basins 1d model. (2010). http:\/\/dinamicaambiental.com\/web\/index.php?option=com_k2&view=item&id=134:guadalfortran&Itemid=40"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-017-0478-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0478-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-017-0478-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T01:59:59Z","timestamp":1570240799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-017-0478-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,24]]},"references-count":19,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["478"],"URL":"https:\/\/doi.org\/10.1007\/s10009-017-0478-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,24]]}}}