Automatic methods for the refinement of system models : from the specification to the implementation - Seiter, Julia, (Springer, 2016)