Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants | IEEE Conference Publication | IEEE Xplore