A comparative study of methods for time-deterministic message delivery in a multiprocessor architecture | IEEE Conference Publication | IEEE Xplore