Automatic methods for the refinement of system models : from the specification to the implementation (2017)