L. Krejčí, “PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA”, IJC, vol. 16, no. 1, pp. 18-26, Mar. 2017.