Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models | IEEE Journals & Magazine | IEEE Xplore