A loop-free asynchronous data sharing mechanism in multiprocessor real-time systems based on timing properties | IEEE Conference Publication | IEEE Xplore