RACOON++: A Semi-Automatic Framework for the Selfishness-aware Design of Cooperative Systems