Text this: Modelling of reactor CPS cooling circuit voiding