Pierre Kelsen, Qin Ma: A Modular Model Composition Technique. FASE 2010: 173-187