An extension of UML for the modeling of WIMP user interfaces | Publicación