ByNobleID
    Approach to analyzing AADL end-to-end flow latency based on timed automata | NobleID