An Enhanced Version of Timed LOTOS and its Application to a Case Study

Completeness of timed #CRL

Fundamenta Informaticae

Specifying Hardware Timing with ET-L OTOS

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

An evaluation of timed scenario notations

Journal of Systems and Software

Review: Formal description of distributed multimedia systems: an assessment of potential techniques

Computer Communications

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

Computer Communications

Completeness of Timed μCRL

Fundamenta Informaticae