An object-oriented approach to the modelling of real-time computer systems and communication protocols. - Salem F. K. Al-Rowaihi (1991)

Temporal Modeling of Real-Time Communication Protocols Based on a Process/Channel Approach. - Michael G. Rodd; Salem F. K. Al-Rowaihi (Real Time Syst., 1994)