Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault | IEEE Conference Publication | IEEE Xplore