i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models | IEEE Conference Publication | IEEE Xplore