?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bryans%2C+Jeremy+W.&rft.aulast=Bryans&rft.aufirst=Jeremy+W.&rft.date=2010&rft.atitle=Formal+Analysis+of+BPMN+Models+Using+Event-B&rft.title=Proceedings+of+the+15th+International+Workshop+on+Formal+Methods+for+Industrial+Critical+Systems&rft.pages=33-49&rft.genre=article