Text this: A CSP-based framework for the specification, verification, and implementation of adaptive systems.