RMPL for group-Enroute MERS Group-Enroute([l,u]=t choose i Group-Traverse- Path(PATH1 1, PATH1 2, PATH1 3, RE POS)[l*90g,u*9081 maintaining PATHI OK Group-Traverse- Path(PATH2 1, PATH2 2, PATH2 3, RE POS)[l*90,u*908] 1 maintaining PATH2 OK Group-Transmit(OPS, ARRIVED)[0, 21, Group-Wait(hOldI, HOLD2)[O,u*109] i watching PROCEED RMPL for Group-Enroute MERS Activities Group-Enroute()[l choose i Group-Traverse Path(PATH1 1, PATH1 2, PATH1 3, RE POS)[l*90,u*908]i maintaining PATH1 OK do Group-Traverse Path(PATH2 1, PATH2 2, PATH2 3, RE Pos)[l*909,u*909] 1 maintaining PATH2 OK Group-Transmit(OPS, ARRIVED)[0, 21, Group-Wait(HOLD1, HOLD2)[0, u*10% y watching PROCEEDRMPL for Group-Enroute Group-Enroute()[l,u] = { choose { do { Group-Traverse￾Path(PATH1_1,PATH1_2,PATH1_3,RE_POS)[l*90%,u*90%]; } maintaining PATH1_OK, do { Group-Traverse￾Path(PATH2_1,PATH2_2,PATH2_3,RE_POS)[l*90%,u*90%]; } maintaining PATH2_OK }; { Group-Transmit(OPS,ARRIVED)[0,2], do { Group-Wait(HOLD1,HOLD2)[0,u*10%] } watching PROCEED } } RMPL for Group-Enroute Group-Enroute()[l,u] = { choose { do { Group-Traverse￾Path(PATH1_1,PATH1_2,PATH1_3,RE_POS)[l*90%,u*90%]; } maintaining PATH1_OK, do { Group-Traverse￾Path(PATH2_1,PATH2_2,PATH2_3,RE_POS)[l*90%,u*90%]; } maintaining PATH2_OK }; { Group-Transmit(OPS,ARRIVED)[0,2], do { Group-Wait(HOLD1,HOLD2)[0,u*10%] } watching PROCEED } } Activities: