A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL