Громов М.Л., Шабалдина Н.В. Использование BALM-II для построения параллельной композиции временных автоматов с задержками выходов и таймаутами: сообщение о ходе исследования // № 8, 2016
