"248","Formal Analysis of BPMN Models Using Event-B","","http://deploy-eprints.ecs.soton.ac.uk/248/","Bryans, Jeremy W. and Wei , Wei","UNSPECIFIED","       <span class=\"person_name\">Bryans, Jeremy W.</span> and <span class=\"person_name\">Wei , Wei</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/248/\"><em>Formal Analysis of BPMN Models Using Event-B.</em></a>       Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems       .           pp. 33-49.                ","jeremy.bryans@ncl.ac.uk,wei01.wei@sap.com","2010"