Keine Seite verlinkt auf Multi-model Consistency through Transitive Combination of Binary Transformations.