?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bendisposto%2C+Jens&rft.aulast=Bendisposto&rft.aufirst=Jens&rft.date=2008&rft.atitle=La+validation+de+mod%C3%A8les+Event-B+avec+le+plug-in+ProB+pour+RODIN&rft.title=TSI&rft.pages=1065-1084&rft.genre=article<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>