SequenceFlow_0ndatks a SequenceFlow_1kfmjqj SequenceFlow_0ndatks SequenceFlow_1y7tn8i SequenceFlow_1htzqgg SequenceFlow_1kfmjqj a SequenceFlow_052vvfw SequenceFlow_07r9pp8 DataObjectReference_19jocrx Property_1i6n2kd SequenceFlow_07r9pp8 SequenceFlow_1islea3 SequenceFlow_1y7tn8i a SequenceFlow_1htzqgg SequenceFlow_1islea3 DataObjectReference_19jocrx SequenceFlow_052vvfw Desiderata_environment < Desiderata_temperature Desiderata_environment > Desiderata_temperature SequenceFlow_10wv9h1 a SequenceFlow_1md5m1a SequenceFlow_1gn94kx DataObjectReference_06cojrv Property_1ogukl9 SequenceFlow_10wv9h1 SequenceFlow_1md5m1a SequenceFlow_01as4cy SequenceFlow_01as4cy SequenceFlow_0ftq6mu SequenceFlow_1iabfzr SequenceFlow_0fj1v0f SequenceFlow_00r6ltm a SequenceFlow_0e4y5fp SequenceFlow_0fj1v0f DataObjectReference_0h369wx Property_0za17y9 a SequenceFlow_0hfmwo4 SequenceFlow_0e4y5fp DataObjectReference_0h369wx SequenceFlow_1gn94kx SequenceFlow_00r6ltm SequenceFlow_0hfmwo4 SequenceFlow_0ftq6mu SequenceFlow_1iabfzr SequenceFlow_1m5g9xa SequenceFlow_1bm5t92 SequenceFlow_01r51ld SequenceFlow_0qsxhrk SequenceFlow_1m5g9xa SequenceFlow_1ngmcls SequenceFlow_1onlp6f SequenceFlow_1vasplb SequenceFlow_01r51ld SequenceFlow_0kn2q7d SequenceFlow_0kn2q7d SequenceFlow_0qe6xnj SequenceFlow_1tj1l1w SequenceFlow_1tj1l1w SequenceFlow_1xag0ah SequenceFlow_093yn39 SequenceFlow_093yn39 SequenceFlow_0wz65i1 SequenceFlow_1ji3fvs a SequenceFlow_1ji3fvs SequenceFlow_0ojtr0y DataObjectReference_1nq1fdp 5 !User_Switch a SequenceFlow_0ojtr0y SequenceFlow_000oucz DataObjectReference_1nq1fdp Property_11lb7y3 DataObjectReference_0amy7az 5 !User_Switch SequenceFlow_000oucz SequenceFlow_0pwyc3y SequenceFlow_1sczjsh a SequenceFlow_0wz65i1 SequenceFlow_0pwyc3y DataObjectReference_0tq1eig Property_1np134u DataObjectReference_0amy7az Property_1np134u DataObjectReference_1u9a7yi SequenceFlow_0n9a8mv SequenceFlow_1j2bb4v SequenceFlow_1taxtqw SequenceFlow_0n9a8mv SequenceFlow_1vasplb SequenceFlow_1taxtqw SequenceFlow_1bm5t92 SequenceFlow_0qe6xnj a SequenceFlow_1sczjsh SequenceFlow_1xag0ah DataObjectReference_0amy7az Property_1h8mi82 SequenceFlow_0qsxhrk SequenceFlow_1ngmcls SequenceFlow_1onlp6f SequenceFlow_1j2bb4v SequenceFlow_179jiae SequenceFlow_179jiae SequenceFlow_0ungnrv SequenceFlow_1gpehon SequenceFlow_1gpehon SequenceFlow_0jamnc6 SequenceFlow_0jamnc6 SequenceFlow_0ungnrv SequenceFlow_1msh1wn SequenceFlow_0fw8bp3 a SequenceFlow_0fw8bp3 SequenceFlow_1sfyxnq DataObjectReference_1wrwysm a SequenceFlow_1sfyxnq SequenceFlow_1msh1wn DataObjectReference_1wrwysm Property_0dzbjfl SequenceFlow_0t051lk a SequenceFlow_1q179xq SequenceFlow_05g20q7 DataObjectReference_09whcy5 SequenceFlow_0t051lk SequenceFlow_0tg390r SequenceFlow_03d71ax SequenceFlow_05g20q7 SequenceFlow_1gwytpo SequenceFlow_1nnu4ip a SequenceFlow_0tg390r SequenceFlow_1gwytpo DataObjectReference_09whcy5 a SequenceFlow_1nnu4ip SequenceFlow_1lx30gr DataObjectReference_09whcy5 Property_0uwkypw SequenceFlow_1lx30gr SequenceFlow_1wh6mw7 SequenceFlow_0usbqmb SequenceFlow_0tsk15b a SequenceFlow_0usbqmb SequenceFlow_0icodr2 DataObjectReference_09whcy5 a SequenceFlow_1wh6mw7 SequenceFlow_0smkwnt DataObjectReference_09whcy5 SequenceFlow_0icodr2 SequenceFlow_0smkwnt SequenceFlow_0tsk15b SequenceFlow_1ebr739 SequenceFlow_1ebr739 SequenceFlow_1q179xq SequenceFlow_03d71ax SequenceFlow_02z61f6 SequenceFlow_02z61f6 Parameters_switch & !Parameters_flame !Parameters_switch & Parameters_flame (Parameters_switch & Parameters_flame) || (!Parameters_switch & !Parameters_flame)