Enhancing Safety: Verifying Compressor Temperature Sensors