The arbitrated real-time protocol (AR-TP): A ravenscar compliant communication protocol for High-Integrity Distributed Systems - Urueña S; Zamorano J; Berjón D; Pulido J; De La Puente J (Lecture Notes In Computer Science, 2006)