Model-based human-centered task automation: a case study in ACC system design | IEEE Journals & Magazine | IEEE Xplore