Text this: Design and Verification of Trusted Collective Adaptive Systems.