Stochastic effectiveness models for human-machine systems | IEEE Journals & Magazine | IEEE Xplore