Towards Provable Correct Real-Time Systems. - Ronald M. Tol (NATO ASI RTC, 1992)

A hardware supported operating system kernel for embedded hard real-time applications. - Matjaz Colnaric; Wolfgang A. Halang; Ronald M. Tol (Microprocess. Microsystems, 1994)