Text this: Binary Pattern for Nested Cardinality Constraints for Software Product Line of IoT-Based Feature Models