Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems | IEEE Conference Publication | IEEE Xplore