1. Communicating hierarchical state machines;Alur,1999
2. Automated Analysis of Feature Models: A Detailed Literature Review;Benavides,2009
3. Capturing requirements from expected interactions between software and its interactive environment: an ontology-based approach;Chen;International Journal of Software Engineering and Knowledge Engineering,2016
4. A translation approach to portable ontology specifications;Gruber;Knowledge Acquisition,1993
5. Automated consistency checking of requirements specifications;Heitmeyer;ACM Transactions on Software Engineering and Methodology (TOSEM),1996