Automation of Quantitative Requirements Determination to Software Reliability of Safety Critical NPP I&C Systems | IEEE Conference Publication | IEEE Xplore