Text this: Прверка и утверждение программ реального времени: пер. с англ.