1. A kernel for temporally correct reactive systems;Ackerman;University of. Stellenbosch,1993
2. Fault tolerance in Sunsat satellite;Bakkes,1993
3. HRTHOOD, A Structured Design Method for Hard Real-time Systems;Burns;Real-time Systems,1993
4. ESML - A Validation Language for Concurrent Systems;De Villiers;South African Computer Journal,1992
5. Toward a Real-Time Dataflow Language;Lewis Edgar;IEEE Software,1986