A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems | IEEE Conference Publication | IEEE Xplore