Robin R. Penner Erik S. Steinmetz Model-based automation of the design of user interfaces to digital control systems. 41-49 2002 32 IEEE Transactions on Systems, Man, and Cybernetics, Part A 1 db/journals/tsmc/tsmca32.html#PennerS02