Requirements interaction detection using semi-formal methods | IEEE Conference Publication | IEEE Xplore