Formal Analysis of BPMN Models Using Event-B.

Jeremy W. Bryans, Wei Wei

Browse the full FMICS paper archive.