| Viktor Cingel, A Graph-Based Method for Timing Diagrams Representation and Verification, pp. 1-14 (No Date Available). |
| Viktor Cingel and Norbert Fristacky, Formal Reasoning on Timing at the Timing Diagram Level, Computers and Artificial Intelligence, pp. 495-520, vol. 13, 1994. |
| Christina Antonine, Bernard Le Goff and Jean-Eric Pin, A Graphic Language Based on Timing Diagrams, Sadhana, pp. 125-145, vol. 21, Part 2, Apr. 1996. |
| Erwin W. Thruner Formal Description of Bus Interfaces Using Methods of System Theory, pp. 190-202. |
| Bachiner Berkane, et al. Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces, pp. 114-133, IFIP 1997, Published by Chapman & Hall. |
| Cheryl Dietz, Graphical Formalization of Real-Time Requirements, pp. 366-384. |
| E. M. Thurner, Proving System Properties by Means of Trigger-Graph and Petri Nets, pp. 88-102. |
| http://www.viewlogic.com/products/Motive.html, Motive (5 pgs). |
| Richard B. Watson, Jr. and Russell B. Iknaian, ISSCC95/Session6/Digital Design Elements: Paper TA 6.2, 1995 IEEE (2pgs). |
| James J. Cherry, Pearl: A CMOS Timing Analyzer, pp. 148-153, 25th ACM/IEEE Design Automation Conference, 1988 IEEE, Paper 12.2. |
| Cadence Design Systems, Inc., Marketing Services, Pearl Datasheet, 1997. |
| Mark S. Fredrickson, Interactive Timing Diagrams and the Timing Diagram Markup Language (TDML) (10 pgs), May 28, 1998. |