Compensation functions and requirements. - David Scholefield; Hussein S. M. Zedan (ACM SIGOPS European Workshop, 1990)

TAM: Temporal agent model for real-time distributed systems. - David Scholefield; Hussein Zedan (Microprocessing and Microprogramming, 1990)

The refinement of real-time systems. - David Scholefield; Hussein S. M. Zedan (RTS, 1992)

TAM: A Formal Framework for the Development of Distributed Real-Time Systems. - David Scholefield; Hussein S. M. Zedan (FTRTFT, 1992)

Weakest Precondition Semantics for Time and Concurrency. - David Scholefield; Hussein S. M. Zedan (Inf. Process. Lett., 1992)

A refinement calculus for real-time systems. - David Jason Scholefield (1992)

Real-Time Refinement: Semantics and Application. - David Scholefield; Hussein S. M. Zedan; Jifeng He 001 (MFCS, 1993)

A Predicative Semantics for the Refinement of Real-Time Systems. - David Scholefield; Hussein S. M. Zedan; Jifeng He 001 (MFPS, 1993)

A Specification-Oriented Semantics for the Refinement of Real-Time Systems. - David Scholefield; Hussein S. M. Zedan; Jifeng He 001 (Theor. Comput. Sci., 1994)

Transformational vs Reactive Refinement in Real-Time Systems. - Simon Atkinson; David Scholefield (Inf. Process. Lett., 1995)

Proving Properties of Real-Time Semaphores. - David Scholefield (Sci. Comput. Program., 1995)

Real-Time Refinement in Manna and Pnueli's Temporal Logic. - David Scholefield (Formal Aspects Comput., 1996)