&gt; Do you have a link to your thesis?<p>There is only a French version:<p><a href="https:&#x2F;&#x2F;tel.archives-ouvertes.fr&#x2F;tel-00680308&#x2F;" rel="nofollow">https:&#x2F;&#x2F;tel.archives-ouvertes.fr&#x2F;tel-00680308&#x2F;</a><p>The context is about using a constraint programming approach (in Prolog) to model Lustre&#x2F;Scade programs and automatically generate traces of input&#x2F;outputs that satisfy a given test objective. With the help of my advisers I extended the GATeL tool to introduce what is known as &quot;clocks&quot; in Lustre and integrate them with other constraint domains to prune the search space efficiently.