Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information | IEEE Conference Publication | IEEE Xplore