Automatic Methods for the Refinement of System ModelsJulia Seiter, Robert Wille, Rolf Drechsler · First published 2016Open the Tome