Krejčí, L. “PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA”. International Journal of Computing, vol. 16, no. 1, Mar. 2017, pp. 18-26, doi:10.47839/ijc.16.1.867.