Modelling human performance in semi-automated systems | IET Conference Publication | IEEE Xplore