1. A method, comprising: 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 the inherited specification data of the second system specification; and storing, in a computer readable medium, the second system specification including the modified specification data.