PuLSE-I: Deriving instances from a product line infrastructure | IEEE Conference Publication | IEEE Xplore