Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware | IEEE Conference Publication | IEEE Xplore