Miguel Romero Juan de Lara Verificación y Validación en el Ámbito del Desarrollo Basado en Modelos de Interfaces de Usuario. 2006 DSDM http://ceur-ws.org/Vol-227/paper09.pdf conf/dsdm/2006 db/conf/dsdm/dsdm2006.html#RomeroL06