following the reset of the EX 12V DC supply which power cycled the timing fan-out, I have restarted all the models at EX using the sequence /etc/kill_models.sh followed by /etc/start_models.sh

I monitored the IRIG-B status on each IOP, they all look good. After the models were running again, I cleared the IPC errors and the CRC counters.