(C3061) Controlled-termination activities that contain stop action Error In: Correctness Description: There are activities of reactive-controlled termination type, with STOP (sp!) action in their mini-spec. Erroneous Elements: Activities
STOP
(sp!)