The paper "Systematic analysis of control panel interfaces using formal tools" co-authored by Campos (DI/CCTC) and Harrison (Newcastle) has been awarded an International Excellence Award by the Human-Computer Interaction group of the British Computer Society, at this year's BCS HCI conference. The paper explores the role that formal methods may play in aiding the design of a user interface, and describes a set of tools, currently under development at Minho, that support the proposed approach. The paper was originally presented at the XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008) in Kingston, Canada.