Invariant preservation in iterative modeling. - Lúcio, Levi; Syriani, Eugene; Amrani, Moussa; Zhang, Qin; Vangheluwe, Hans (2012)