Software safety analysis using rough sets | IEEE Conference Publication | IEEE Xplore