Recommendations

based on Model Check 3: Summer in Berlin