Bryans, Jeremy W.  and Fitzgerald, John S.  and Romanovsky, Alexander and Roth, Andreas  (2009) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.   Proceedings 14th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2009. .   pp. 68-77.      

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>