?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Alexander%2C+Romanovsky&rft.aulast=Alexander&rft.aufirst=Romanovsky&rft.volume=5&rft.date=2012&rft.atitle=Deployment+of+Formal+Methods+in+Industry%3A+the+Legacy+of+the+FP7+ICT+DEPLOY+Integrated+Project&rft.title=ACM+SIGSOFT+Software+Engineering+Notes&rft.genre=article