• We are afraid that we cannot make model of case study 1 public, because the original version has been created by another researcher

  • Rodin project file of case study 2 (restructuring refinement for reuse)

    • doors_0, doors_1, doors_2, doors_3, doors_4: original machines

    • doors_merged: merged machines (by SliceAndMerge)

    • doors_reusable: reusable part of original machines (sliced with SliceAndMerge)

    • server_0, server_1, server_2: new machines based on doors_reusable