(C3063) Self-termination activities that do not contain stop action Error In: Correctness Description: There are activities of reactive-self termination type, but there is no STOP (sp!) action in their mini-spec. Erroneous Elements: Activities
STOP (sp!)