?url_ver=Z39.88-2004&rft_id=10.1016%2Fj.scico.2011.03.002&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Alessandro&rft.aulast=Lapadula&rft.au=Lapadula%2C+Alessandro&rft.issue=3&rft.pages=189-213&rft.volume=77&rft.date=2012&rft.title=Science+of+Computer+Programming&rft.atitle=Using+formal+methods+to+develop+WS-BPEL+applications&rft.issn=0167-6423&rft.genre=article