Towards a Formal Specification Methodology for Iconic Interface Design