Before revision: "Reactivity" highlights the fact that the synthesized machine interacts with the user, reading an input and producing an output, and thus never terminates .
After revision: "Reactivity" highlights the fact that the synthesized machine interacts with the user, reading an input and producing an output, and never stops its operation .