Громов М.Л., Шабалдина Н.В. Использование BALM-II для построения параллельной композиции временных автоматов с задержками выходов и таймаутами: сообщение о ходе исследования // № 8, 2016
Бурдонов И.Б., Евтушенко Н.В., Косачев А.С., Кушик Н.Г. Синхронизирующие и установочные эксперименты для входо-выходных полуавтоматов // № 10, 2017
