Matej Rojc, Harald Höge, Zdravko Kačič, Lecture Notes in Computer Science, 5042, Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction, 2008, 149
К. А. Васильева, Е. В. Кузьмин, “Верификация автоматных программ с использованием LTL”, Модел. и анализ информ. систем, 14:1 (2007), 31–43
Zvironiene A., Navickas Z., Rindzevicius R., “The Expression of the Telecommunication System with an Infinite Queue by the Convolution of Moore and Mealy Automata”, Iti 2005: Proceedings of the 27th International Conference on Information Technology Interfaces, eds. Luzar V., Dobric V., Srce Univ Computing Centre, Univ Zagreb, 2005, 669–672
Yartsev B., Korneev G., Shalyto A., Kotov V., “Automata-Based Programming of the Reactive Multi-Agent Control Systems”, 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: Kimas'05: Modeling, Exploration, and Engineering, eds. Thompson C., Hexmoor H., IEEE, 2005, 449–453
A. Zvironiene, Z. Navickas, R. Rindzevicius, 27th International Conference on Information Technology Interfaces, 2005., 2005, 633
Naumov L., Shalyto A., “Automata Theory for Multi-Agent Systems Implementation”, International Conference on Integration of Knowledge Intensive Multi-Agent Systems: Kimas'03: Modeling, Exploration, and Engineering, ed. Hexmoor H., IEEE, 2003, 65–70