A formal approach to the analysis of priorities of imprecise conflicting requirements | IEEE Conference Publication | IEEE Xplore