Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors.

Andrew M. Dearden, Michael D. Harrison

Browse the full SAFECOMP paper archive.