Three strategies to specify multi-instantiation in product lines | IEEE Conference Publication | IEEE Xplore