Back-End Software for Highly Dependable Real-Time Control Systems. - Yaroslav Domaratsky; Maxim Perevozchikov; Alexander Ingulets; Alexander Alkhovik (COMPSAC, 2001)