Novarun Deb, Nabendu Chaki, Aditya K. Ghose. i*ToNuSMV: A Prototype for Enabling Model Checking of i* Models. In 24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016. pages 397-398, IEEE, 2016. [doi]
Abstract is missing.