Index: papers/FDL2012/FDL2012.tex
===================================================================
--- papers/FDL2012/FDL2012.tex	(revision 60)
+++ papers/FDL2012/FDL2012.tex	(revision 61)
@@ -29,4 +29,5 @@
 \newcommand{\remark}[2]{\textcolor{blue}{#1: #2}}
 
+\graphicspath{{schema/}}
 
  \title{ Compositional System Verification: Exploiting components' verified properties in the abstraction-refinement process}
Index: papers/FDL2012/framework.tex
===================================================================
--- papers/FDL2012/framework.tex	(revision 60)
+++ papers/FDL2012/framework.tex	(revision 61)
@@ -96,6 +96,6 @@
 
 \begin{definition}
-Give a CTL$\setminus$X property $\varphi$ whose set of atomic propositions is
-$\widehat{AP}$, An \emph{Abstract Kripke Structure}, \\ $AKS(\varphi) =(AP, \widehat{S}, \widehat{S}_0, \widehat{L}, \widehat{R}, \widehat{F})$ is a 6-tuple consisting of :
+Given a CTL$\setminus$X property $\varphi$ whose set of atomic propositions is
+$AP$, An \emph{Abstract Kripke Structure}, $AKS(\varphi) =(AP, \widehat{S}, \widehat{S}_0, \widehat{L}, \widehat{R}, \widehat{F})$ is a 6-tuple consisting of:
 
 \begin{itemize}