MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
timed automata : semantics , algorithms and tools .