CAStlE: A Tool for Collective Adaptive Systems Engineering