Amy E. Zwarico, Insup Lee. Proving a Network of Real-Time Processes Correct. In Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS 85), December 3-6, 1985, San Diego, California, USA. pages 169-177, IEEE Computer Society, 1985.
Abstract is missing.