Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: a comparative study