(C4087) Procedure-like or self-terminated activities (in HW style) Error In: Completeness Description: There are activities defined in the properties as procedure-like or reactive self-terminated activities. This is improper in HW style, where all activities are always active. Erroneous Elements: Activities