?url_ver=Z39.88-2004&rft_id=978-0-7695-3702-3%2F09+IEEE+DOI+10.1109%2FICECCS.2009.29&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bryans%2C+Jeremy+W.+&rft.aulast=Bryans&rft.aufirst=Jeremy+W.+&rft.date=2009&rft.atitle=Formal+Modelling+and+Analysis+of+Business+Information+Applications+with+Fault+Tolerant+Middleware&rft.title=+Proceedings+14th+IEEE+International+Conference+on+Engineering+of+Complex+Computer+Systems+ICECCS+2009.&rft.pages=68-77&rft.genre=article