Describir: Co-simulation for real time safety verification of nuclear power plants