A CSP-based framework for the specification, verification, and implementation of adaptive systems. - Bartels, Björn; Kleine, Moritz (ICSE: International Conference on Software Engineering, 2011)