Yunja Choi: Checking Interaction Consistency in MARMOT Component Refinements. SOFSEM (1) 2007: 832-843