(40 points) Complete problem 5.27 in Principles of Model Checking on page 305. Read the protocol carefully, is it is easy to get it wrong.