Handling event driven messaging in distributed flight critical systems | IEEE Conference Publication | IEEE Xplore