Especificación, diseño y verificación de sistemas interactivos