349	  Dinca, Ionut  (2011) Multi-Objective Test Suite Optimization for Event-B Models.  In: ICIEIS'11, Springer CCIS Series vol. 251 , 11-14 November 2011, Malaysia.     
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>