ETAG: Some applications of a formal representation of the user interface