1 2 3 4 5 6 7 8
SPECIFICATION Spec \* Add statements after this line. CONSTANTS Processes = {"p1", "p2", "p3"} PROPERTIES just_once