sp -
"the probe indicated the ice temperature"- thus you are saying that ice that forms at -39C will be at a significantly higher temperture? I'm familiar with L Heat release at state change but cannot see how this can be? Surely also the measured TAT will decrease if the probe ices since there will be less airflow to 'halt'? We are looking to explain an overall 20deg rise or so.
Can someone remind me how/where SAT is derived on a/c? I've had a 'blank moment'