Using Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models | part of Social Modeling for Requirements Engineering | MIT Press books | IEEE Xplore