ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models · Study