Bob Fields, Peter C. Wright, Michael D. Harrison: Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI 1994: 185-195