MbFM: A matrix-based tool for modeling and configuring feature models | IEEE Conference Publication | IEEE Xplore