Multi Back-Ends for a Model Library Abstraction Layer. - Ngoc Viet Tran; Andreas Ganser; Horst Lichter (ICCSA (3), 2013)