Обобщенный подход к многозначному моделированию цифровых схем на модели альтернативных графовVoolaine, A.; Pall, M.; Ubar, Raimund-JohannesСинтез и диагностика цифровых устройств и систем1982 / с. 23-37

Проектирование контрольных экспериментов в автоматизированной системе контроля цифровых автоматов "НАКС"Voolaine, A.; Jõgi, Aksel; Pall, M.Синтез и диагностика цифровых устройств и систем1982 / с. 3-21

Уравнение диагноза для синхронных последовательностных схемVoolaine, A.; Toome, T.Расчет и проектирование систем технической кибернетики1984 / с. 27-36

Электротехника и автоматикаUbar, Raimund-Johannes; Rang, Toomas; Velmre, Enn; Evartson, Teet; Voolaine, A.; Toome, Tõnis; Viilup, Agu; Sudnitsõn, Aleksander; Berkman, Boriss; Rüstern, Ennu; Leis, Paul; Keevallik, Andres; Kruus, Margus; Jüris, A.1984 https://www.ester.ee/record=b1549179*est