Krejčí, Lukáš. “PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA”. International Journal of Computing 16, no. 1 (March 31, 2017): 18-26. Accessed April 19, 2024. https://computingonline.net/computing/article/view/867.