Systematic analysis of control panel interfaces using formal tools - Campos, José C. (2008)