| Balancing the formal and the informal in user centred design |
|
| Formal modelling as a component of user centred design |
|
| Modelling information resources and their salience in medical device design |
|
| Systematic analysis of control panel interfaces using formal tools |
|
| Verification Templates for the Analysis of User Interface Software Design |
|
| Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices |
|