The Allocation of Maintenance Workforce in a Dynamic Human-Automation Interaction System | IEEE Conference Publication | IEEE Xplore