Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems