Applying Formal Methods for Human Error Tolerant Design.

Bob Fields, Peter C. Wright, Michael D. Harrison

Browse the full ICSE paper archive.