?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Abrial%2C+Jean-Raymond&rft.aulast=Abrial&rft.aufirst=Jean-Raymond&rft.date=April+2010&rft.atitle=Rodin%3A+An+Open+Toolset+for+Modelling+and+Reasoning+in+Event-B&rft.title=International+Journal+on+Software+Tools+for+Technology+Transfer+(STTT)&rft.genre=article<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>