Specifications reuse process modeling and case study-based evaluations | IEEE Conference Publication | IEEE Xplore