Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes.

Jörg Fischer Stefan Conrad Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes. 45-60 http://link.springer.de/link/service/series/0558/bibs/1945/19450045.htm 2000 conf/ifm/2000 IFM db/conf/ifm/ifm2000.html#FischerC00