IRIS: a semi-formal approach for detecting requirements interactions | IEEE Conference Publication | IEEE Xplore