HARTEX - a safe real-time kernel for distributed computer control systems.
TPF: a dynamic system thrashing protection facility.
Engineering software reuse for on-board embedded real-time systems.
Vmgen - a generator of efficient virtual machine interpreters.