ByNobleID
    Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs | NobleID