Integrating river basin DSSs with model checking | Publicación