Learnability and Robustness of User Interfaces - Towards a Formal Analysis of Usability Design Principles