MarĂa-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares. A practical use of model checking for synthesis: generating a dam controller for flood management. Software: Practice and Experience, 41(11):1329-1347, 2011. [doi]
Abstract is missing.