In this thesis a formal approach and methodology for analysis and generation of human-machine interfaces has been proposed, with special emphasis on human-automation interaction. A conceptual approach for modeling, analyzing, ...