Semantics and verification of action diagrams with linear timing

K. Khordoc, E. Cerny
1998 ACM Transactions on Design Automation of Electronic Systems  
doi:10.1145/270580.270582 fatcat:bwnh5h3v7fgrdh7nypj3lybbze