Improving Software Reliability in Nuclear Power Plants via Diversity in the Requirements Phase: An Experimental Study. - Li, Boyuan; Li, Jianghai; Huang, Xiaojin (Energies (19961073), 2025)