Modeling advanced modular avionics architectures for early real-time performance analysis | IEEE Conference Publication | IEEE Xplore