1 Table of Contents: “... Are Consistent with the Axioms of Set Theory -- Timed Automata with Monotonic Activities -- On a Generalization...”