Timing diagrams: semantics and passage towards an intermediate model
Bachir Berkane, Simona Gandrabur, E. Cerny · 2002
This article deals with the specification and behavioral analysis of systems with delay. It gives first a formal semantics to a timing-diagram language. It then defines a procedure for moving towards an intermediate model on which the analysis of temporal properties is decidable.