ByNobleID
    Model-based analysis of distributed real-time embedded system composition | NobleID