Аль Шаріф Васім Мусса Сухад. Моделі і методи синтезу тестів для розподілених інформаційних систем на основі мереж Петрі.- Дисертація канд. техн. наук: 05.13.06, Одес. нац. політехн. ун-т. - О, 2013.- 203 с.