Temporal modelling of an OSI-based communications protocol. - I. Aboul Hamid (1991)