Applying Formal Approach to Core Asset Instantiation in Product Line Engineering | IEEE Conference Publication | IEEE Xplore