SOTA: Towards a General Model for Self-Adaptive Systems
Concurrency State Models and Java Programs