Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications | IEEE Conference Publication | IEEE Xplore