An affordance-based formalism for modeling human-involvement in complex systems for prospective control | IEEE Conference Publication | IEEE Xplore