A GUI modeling DSL for pattern-based GUI testing PARADIGM
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models