A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
K. Khordoc, E. Cerny. "Semantics and verification of action diagrams with linear timing." ACM Transactions on Design Automation of Electronic Systems 3.1 (1998) 21-50