A semi-automatic framework for the design of rational resilient collaborative systems