Krejčí, L. PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA. IJC 2017, 16, 18-26.