Correctness and communication in real-time systems (University of Oxford, 1989)

(untitled) - Schneider, S; Schneider, Steven A.