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