?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Leuschel%2C+Michael&rft.aulast=Leuschel&rft.aufirst=Michael&rft.issue=2&rft.volume=10&rft.date=2008&rft.atitle=ProB%3A+An+Automated+Analysis+Toolset+for+the+B+Method&rft.title=International+Journal+on+Software+Tools+for+Technology+Transfer&rft.pages=185-203&rft.genre=article