Compositional verification using formal analysis for a flight critical system | IEEE Conference Publication | IEEE Xplore