Challenges in quantitative abstractions for collective adaptive systems