Insup Lee, Susan B. Davidson: Protocols for Timed Synchronous Process Communications. RTSS 1986: 128-135