Figure 9: Comparing Transaction-Related Specifications