8	  lecomte, thierry and servat, thierry  (2007) Formal Methods in Safety-Critical Railway Systems.  In: 10th Brasilian Symposium on Formal Methods, 29-31 August 2007, Ouro Preto (Brazil).     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>