Automatic Methods for the Refinement of System Models | lit.salon