1. A method, comprising: using a processor for: identifying a first system specification defined at a first refinement level, wherein the first system specification comprises specification data; generating a second system specification at a second refinement level, wherein the second system specification inherits the specification data of the first system specification; modifying at least a portion of the inherited specification data of the second system specification, wherein modifying at least a portion of the inherited specification data comprises applying a mapping operator to a portion of the specification data of the first system specification of the first refinement level to provide modified specification data for the second system specification of the second refinement level; and storing the second system specification including the modified specification data.