Describes a task in terms of a hierarchical goal structure *and set of methods in program form each of which consists of series of steps executed in a strictly sequential order

Based on the Model Human Processor

KLM put Ms at the beginning of subprocedures, the CMN-GOMS model puts the mental time in verify operations at the end of subprocedures the difference is irrelevant in most design situations