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