Specify the hygiene requirement that hands should be washed between handling raw meat and cooked meat. Use the events wash, raw and cooked, to refer the these three activities

a) Please draw the transition diagram for the hygiene requirement. Note that the specification should allow any traces which satisfies the requirement.

b) Does the combination RAW[|{wash}|] COOKED meat this specification? Please prove it with an explanation.

RAW = raw-> wash-> RAW COOKED = washed-> cooked ->COOKED