During maintenance it was found that one of the cables of the UPS was loose, clearly making sparks. This was repaired and all cables were reviewed. It is thought that this loose connection caused some freezing of the TCS that had occurred a few times but did not recur after the repair.