Mossakowski, T. (2013) “The VSE Refinement Method in Hets”, Electronic Communications of the EASST, 62. doi: 10.14279/tuj.eceasst.62.859.