(C4085) Activities whose mini-specs contain `started' trigger or `stop' action (in HW style) Error In: Completeness Description: There are activities whose mini-specs contain started triggers or stop actions. This is improper in HW style, where all activities are always active. Erroneous Elements: Activities