Text this: Improving Software Reliability in Nuclear Power Plants via Diversity in the Requirements Phase