1. Express the following properties in CTL: (a) For any execution of the protocol, from any state, it is possible to get to the reset state along some path. (b) In between any two requests, there exists a timeout or a granted. 1. Express the following properties in CTL: (a) For any execution of the protocol, from any state, it is possible to get to the reset state along some path. (b) In between any two requests, there exists a timeout or a granted