@misc{indiciae738125cd1f90, title = {Structuring Formal Requirements Specifications for Reuse and Product Families}, author = {Heimdahl, Mats P. E.}, year = {2001}, url = {https://ntrs.nasa.gov/citations/20020081014}, note = {Source identifier: 20020081014} }