Verification of i* Models Using Alloy. - Peter Oluoch Ating'a; Aneesh Krishna (ISD, 2010)