?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Iliasov%2C+Alexei&rft.aulast=Iliasov&rft.aufirst=Alexei&rft.date=2011&rft.isbn=978-3-642-24123-9&rft.title=Use+case+scenarios+as+verification+conditions%3A+Event-B%2FFlow+approach&rft.btitle=Software+Engineering+for+Resilient+Systems%2C+Proc.+of+3rd+International+Workshop.+September+29-30%2C+2011+Geneva%2C+Switzerland&rft.tpages=15&rft.genre=bookitem