Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams | IEEE Conference Publication | IEEE Xplore