Jeremy Bryans John Fitzgerald Alexander Romanovsky Andreas Roth Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. 68-77 2009 ICECCS http://dx.doi.org/10.1109/ICECCS.2009.29 conf/iceccs/2009 db/conf/iceccs/iceccs2009.html#BryansFRR09