Alfredo Capozucca Nicolas Guelfi Patrizio Pelliccione Alexander Romanovsky Avelino Francisco Zorzo Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. 207-228 2009 82 Journal of Systems and Software 2 http://dx.doi.org/10.1016/j.jss.2008.05.038 db/journals/jss/jss82.html#CapozuccaGPRZ09