ByNobleID
    Derivation of formal representations from process-based specification and implementation models | NobleID