A Monte Carlo-based exploration framework for identifying components vulnerable to cyber threats in nuclear power plants. (July 2018)