Index: /reasoner/reasoner.tex
===================================================================
--- /reasoner/reasoner.tex	(revision 120)
+++ /reasoner/reasoner.tex	(revision 121)
@@ -67,5 +67,5 @@
 \LinesNumbered
 
-Analyzing and reasoning about interdependent configuration settings can be a difficult task, in particular if the configuration modeling approach provides complex modeling concepts or a highly expressive constraint language. In this document, we provide an overview on the current state of reasoning for the Integrated Variability Modeling Language (IVML), a variability and configuration modeling language that contains several complex concepts. We discuss the approach to reasoning for IVML, in particular, the implementing constraint translation and reasoning algorithms.
+Automatically analyzing and reasoning about interdependent configuration settings can be a difficult task, in particular if the configuration modeling approach provides complex modeling concepts or a highly expressive constraint language \cite{EichelbergerKroeherSchmid13}. In this document, we give an overview on the current state of reasoning for the Integrated Variability Modeling Language (IVML), a variability and configuration modeling language that contains several advanced and complex modeling concepts as well as an expressive constraint language allowing for first-order logic. We discuss the approach to reasoning for IVML, in particular, the translation of types and constraints for reasoning, the reasoning algorithm, the validation of the approach and its performance for different kinds of models.
 
 \section{Introduction}