?url_ver=Z39.88-2004&rft_id=ISBN%3A+978-3-642-05088-6&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bicarregui%2C+J.+C.+&rft.aulast=Bicarregui&rft.aufirst=J.+C.+&rft.volume=LNCS+5&rft.date=19+October+2009&rft.atitle=Industrial+Practice+in+Formal+Methods%3A+a+Review&rft.title=FM+2009%3A+Formal+Methods&rft.genre=article<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>