1. IEEE Standard for Binary Floating-Point Arithmetic
2. Mathieu Acher , Patrick Heymans , Philippe Collet , Clément Quinton , Philippe Lahire , and Philippe Merle . 2012. Feature Model Differences . In CAiSE. Springer , 629--645. Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, and Philippe Merle. 2012. Feature Model Differences. In CAiSE. Springer, 629--645.
3. Efficient synthesis of feature models
4. Taslim Arif Frank de Boer Michiel Helvensteijn Karina Villela and Peter Wong. 2012. Evaluation of Modeling. Deliverable 5.3 of project FP7-231620 (HATS). Website. http://www.hats-project.eu/sites/default/files/Deliverable5.3.pdf#page=55. Taslim Arif Frank de Boer Michiel Helvensteijn Karina Villela and Peter Wong. 2012. Evaluation of Modeling. Deliverable 5.3 of project FP7-231620 (HATS). Website. http://www.hats-project.eu/sites/default/files/Deliverable5.3.pdf#page=55.
5. Rabih Bashroush , Muhammad Garba , Rick Rabiser , Iris Groher , and Goetz Botterweck . 2017. Case tool support for variability management in software product lines. ACM Computing Surveys (CSUR) 50, 1 ( 2017 ), 14:1--14:45. Rabih Bashroush, Muhammad Garba, Rick Rabiser, Iris Groher, and Goetz Botterweck. 2017. Case tool support for variability management in software product lines. ACM Computing Surveys (CSUR) 50, 1 (2017), 14:1--14:45.