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