CAStlE: A Tool for Collective Adaptive Systems Engineering | IEEE Conference Publication | IEEE Xplore