Design of distributed IMA using time-triggered architecture (TTA): middleware and design tools | IEEE Conference Publication | IEEE Xplore