cluster_0 cluster_1 cluster_2 cluster_3 A_0_false IDL T_0_18446744073709551615 A_0_false->T_0_18446744073709551615 T_1_18446744073709551615 A_0_false->T_1_18446744073709551615 A_1_false WAT T_2_18446744073709551615 A_1_false->T_2_18446744073709551615 T_0_18446744073709551615->A_1_false S_0_18446744073709551615_1 REQ(C=0) → SRV T_0_18446744073709551615->S_0_18446744073709551615_1 D_0_18446744073709551615_0 Activity → Need D_0_18446744073709551615_0->T_0_18446744073709551615 A_2_false CHK T_3_18446744073709551615 A_2_false->T_3_18446744073709551615 T_1_18446744073709551615->A_2_false S_1_18446744073709551615_3 CHK(C=0) → MGR T_1_18446744073709551615->S_1_18446744073709551615_3 D_1_18446744073709551615_2 Activity → Worry D_1_18446744073709551615_2->T_1_18446744073709551615 T_2_18446744073709551615->A_0_false D_2_18446744073709551615_11 SRV → RSP D_2_18446744073709551615_11->T_2_18446744073709551615 T_3_18446744073709551615->A_0_false D_3_18446744073709551615_8 MGR → CNF D_3_18446744073709551615_8->T_3_18446744073709551615