Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. - Rémi Bastide; Philippe A. Palanque; Duc-Hoa Le; Jaime Munoz (DSV-IS, 1998)