Farzad Salim Chee Fon Chang Aneesh Krishna Aditya Ghose Towards Executable Specification: Combining i* and AgentSpeak(L) . 739-742 2005 conf/seke/2005 SEKE db/conf/seke/seke2005.html#SalimCKG05