?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Yeganefard%2C+Sanaz&rft.aulast=Yeganefard&rft.aufirst=Sanaz&rft.date=April+2010&rft.atitle=Evaluation+of+a+Guideline+by+Formal+Modelling+of+Cruise+Control+System+in+Event-B+&rft.title=NASA+Formal+Methods+Symposium+2010&rft.genre=article<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>