Partitioning Communications System: High Assurance Architecture for Distributed Digital Avionics Systems | IEEE Conference Publication | IEEE Xplore