A Formal Machine–Learning Approach to Generating Human–Machine Interfaces From Task Models | IEEE Journals & Magazine | IEEE Xplore