Consequent Documentation
diff --git a/org.eclipse.rmf.documentation/rmf-images/error-marker.png b/org.eclipse.rmf.documentation/rmf-images/error-marker.png
new file mode 100644
index 0000000..ab2269d
--- /dev/null
+++ b/org.eclipse.rmf.documentation/rmf-images/error-marker.png
Binary files differ
diff --git a/org.eclipse.rmf.documentation/rmf-latex/reference-part2.tex b/org.eclipse.rmf.documentation/rmf-latex/reference-part2.tex
index deee6ee..fd36e07 100644
--- a/org.eclipse.rmf.documentation/rmf-latex/reference-part2.tex
+++ b/org.eclipse.rmf.documentation/rmf-latex/reference-part2.tex
@@ -78,6 +78,56 @@
This view is covered in more detail by the \eclipsehelp{/topic/org.eclipse.platform.doc.user/reference/ref-27.htm}{Eclipse documentation}.
+% -----------------------------------------------------------------------------------
+\subsection{ReqIF Validation}\index{validation}\index{ReqIF validation}
+% -----------------------------------------------------------------------------------
+
+ReqIF is spreading, and partners start handing .reqif and .reqifz files back and forth. But chances are that the first import of such a file will fail. What is the problem? Consequent, the free ReqIF-Validator may provide the answer.
+
+The validation results are shown in the Eclipse Problem View. In addition, it is possible to open the ReqIF file in question in a text editor and to generate error markers, as shown in Figure~\ref{fig:error-marker}.
+
+\begin{info}
+In addition to the validator that is built into the tool, there is also a command line version available, which can be downloaded for free from \url{http://formalmind.com/consequent}.
+\end{info}
+
+\begin{figure}
+\centering
+\includegraphics[width=\linewidth]{../rmf-images/error-marker.png}
+\caption{Error Markers generated by Consequent}
+\label{fig:error-marker}
+\end{figure}
+
+You can validate a ReqIF file as follows:
+
+\begin{itemize}
+\item Right-Click the file to be validated in the Project Explorer (no need to open the file)
+\item Select \menu{Validate | Consequent ReqIF Validation}
+\item A dialog indicates the completion of the validation, which is shown in the Problem View.
+\item If the Problem View is not visible, open it by hand via \menu{Window | Show View | Other... | General | Problems}
+\item To see the error in the file, you must open it in a text editor as follows:
+\begin{itemize}
+\item Right-Click the file in the Project Explorer
+\item Select Open With | Text Editor
+\item Errors are shown with an icon in the left margin (hovering over the error reveals the problem) – see screenshot below
+\item For errors with line numbers, it is possible to double click on an error in the Problem View to jump to the corresponding position in the Text Editor
+\end{itemize}
+
+\item Error markers do not reset automatically. Re-run the validation to update them. You can manually clear error markes (e.g. for files that do not exist any more) by right-clicking on an element in the Problem View and selecting Delete.
+\end{itemize}
+
+\subsubsection{Validation Rules}
+
+You can access and individually disable the validation rules via \menu{Window | Preferences | Model Validation | Constraints}.
+
+\begin{info}
+A printable version of the validation rules can retrieved from the build server at
+\url{http://hudson.eclipse.org/rmf/job/rmf.develop.mars/ws/org.eclipse.rmf.reqif10.constraints/plugin.xml}
+\end{info}
+
+\subsubsection{Consequent Acknowledgement}
+
+Consequent is part of the open source Eclipse project and was financed by the ProStep ReqIF Implementor Forum.
+
% ===================================================================================
\section{Configuration and Preferences}
% ===================================================================================
