Developing a Decision Support Tool for Dam Management with SPIN. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Antonio Linares (FMICS, 2009)

Using SCADE for Decision Support in Dam Management. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Antonio Linares (MSVVEIS, 2009)

A practical use of model checking for synthesis: generating a dam controller for flood management. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Antonio Linares (Softw. Pract. Exp., 2011)