378	  Ponsard, Christophe and Deprez, Jean-Christophe and Delandtsheer, Renaud  (2012) Is my Formal Method Tool Ready for the Industry ?  In: AVOCS 2011, 12-14 September 2011, Newcastle, UK.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>