Title: Automatic Methods for the Refinement of System Models
Subjects: Software engineering, Programming languages (electronic computers), Computer simulation