1. A kernel for temporally correct reactive systems;Ackerman,1993
2. Fault tolerance in Sunsat satellite;Bakkes,1993
3. Design and Implementation of a Prolog-RISC-Processor;Borst,1990
4. HRT-HOOD, A Structured Design Method for Hard Real-Time Systems;Burns;Real-Time Systems,1994
5. ESML - A Validation Language for Concurrent Systems;De Villiers;South African Computer Journal,1992