Added availability, coordination freedom analysis and test files