The Real-Time Producer Consumer Paradigm

A colloquium on designing verifiable real-time systems presented at the University of North Carolina in April 1989.