Проверка и утверждение программ реального времени / С.Болонья,У.Эренбергер,П.Пур-Вестерхейд и др.;Пер. с англ. А. А. Стукаленко; Под ред. А. И. Никитина, 1990. - 213 c. - Текст : непосредственный.