Mossakowski, T.; Codescu, M.; Maeder, C.; Langenstein, B. The VSE Refinement Method in Hets. ECEASST 2013, 62.