An Approach to Genuine Dynamic Linking.
The Design and Implementation of a High-level Language Converter.
TPDL: Extended Temporal Profile Description Language.
Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model.
Reactive C: An Extension of C to Program Reactive Systems.