Real time systems/software methodologies for large aerospace systems | IEEE Conference Publication | IEEE Xplore