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