ByNobleID
    Verification and validation of model refinement implemented through graph transformation systems | NobleID