ByNobleID
    UML2Alloy: a challenging model transformation | NobleID