AFDX based avionic data bus architecture design and analysis | IEEE Conference Publication | IEEE Xplore