Consider the transition system TS below, over the atomic propositions a,b and c, and path =S1,S3,S4,S5,S5,S5, : For each each of the LTL formalae i below, decide if TS,i. Justify each of your answers: - 1=FGc - 2=GFc - 3=XcXXc - 4=Ga - 5=aUG(bc) - 6=(GGb)U(bc)