Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs | IEEE Conference Publication | IEEE Xplore