This work was supported in part by grants from the Office of Naval Research project on Engineering of Complex Systems, by the Naval Surface Warfare Center Dahlgren Division, and by a cooperation grant on empirical and theoretical foundations for requirements traceability, jointly funded by the German DAAD and the US National Science Foundation.