ByNobleID
    Weighted Modal Transition Systems | NobleID