Consistency Analysis for User Requirements Notation Models. - Okhaide Akhigbe; Daniel Amyot; Amal Ahmed Anda; Lysanne Lessard; Daoyang Xiao (iStar, 2016)