FORMAL ANALYSIS OF A MESSAGE FORWARDING SYSTEM USING PRISM - Al Zahrani, Ahmad (2009)