rΣ: Automated reasoning tool for non-functional requirement goal models | IEEE Conference Publication | IEEE Xplore