Question No. 2. (CLO-1) (10) Write a .smv script for the processes shown in Figure 1. power on level - empty status starting status = started power - off power - on uO = Suluunu level - full status stop status- continued running = on (04) running - off && power = off Figure 1: A System Part 2 (CLO-2) Question No. 3. (CLO-2) Draw a resultant transition system for the processes shown in Figure 1. Question No. 4. (CLO-2) Write down the possible atomic propositions for the processes shown in Figure 1. Question No. 5. (CLO-2) Draw three possible traces of the transition system for the processes shown in Figure 1. (10) (06)