i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models.

Novarun Deb, Nabendu Chaki, Aditya K. Ghose

Browse the full RE paper archive.