Bridging Software Product Lines and Service-Oriented Architectures for Service Identification Using BPM and FM | IEEE Conference Publication | IEEE Xplore