Derived from analysis (e.g., of a specification or by stimulation)