how do I add the last part (**A light can only make 10 transitions**) to this NUSMV code?

Question

QUESTION PICTURE

How do I add the last part (A light can only make 10 transitions)to this code?

VAR

state:{r, y, g};
ASSIGN
init(stat