Modeling human-automation task allocations in lunar landing | IEEE Conference Publication | IEEE Xplore