Return to File:SliceAndMerge- A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines-slides.pdf.