Krejčí, Lukáš. 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.