237	  Bryans, Jeremy and Wei , Wei  (2010) Formal Analysis of BPMN Models using Event-B.  In: Formal Methods for Industrial Critical Systems 2010.    (In Press)  
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>