 The CA model and the design/prove approach are elaborated in the 2005 paper.It no longer requires that a total order of objects be specified in the consistency model and maintained in the algorithm, which hence results in reduced time/space complexities in the algorithm.OT is a system of multiple components.