HARTEX - a safe real-time kernel for distributed computer control systems. - C. K. Angelov; I. E. Ivanov; Alan Burns 001 (Softw. Pract. Exp., 2002)