Question 7 (15 marks): 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 to these three activities.

Q7.a) Please draw the transition diagram for the hygiene requirement. Note that the specification should allow any trace which satisfies the requirement. (7 marks)

Q7.b) Does the combination RAW [|{wash}|] COOKED meet this specification? Please prove it with an explanation. (8 marks)

RAW = raw-> wash -> RAW

COOKED = wash -> cooked -> COOKED