Model and Means of Timed Automata-based Real-time Adaptive Transit Signal Control. - Mykhailo Lytvynenko; Olexander Shkil; Inna Filippenko; Leonid Rebezyuk (EWDTS, 2020)