?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Bendisposto%2C+Jens&rft.aulast=Bendisposto&rft.aufirst=Jens&rft.date=September+2011&rft.btitle=Proceedings+of+the+11th+workshop+on+Automated+Verification+of+Critical+Systems&rft.tpages=216&rft.genre=book