automated reasoning, component systems, Evolvable systems, quantified event automata, rule systems, runtime monitoring, runtime verification.
