Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory | IEEE Conference Publication | IEEE Xplore