Cordy, et al.. Beyond Boolean Product-line Model Checking: Dealing with Feature Attributes and Multi-features. IEEE, 2013, doi:10.1109/icse.2013.6606593.