@article{deploy248,
           title = {Formal Analysis of BPMN Models Using Event-B},
          author = {Jeremy W. Bryans and Wei Wei },
       publisher = {Springer},
            year = {2010},
           pages = {33--49},
         journal = {Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems},
             url = {http://deploy-eprints.ecs.soton.ac.uk/248/}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>