On finite time-variant automata with monitors of different types | lit.salon