The Input Output Timed Automaton: A model for real-time parallel computation (1990)

by Azer Bestavros
Venue:In Proceedings of 1990 ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (Tau ’90