Schlor, Rainer, and Werner Damm. "Specification and verification of system-level hardware designs using time diagrams." 1993 European Conference on Design Automation with the European Event in ASIC Design. IEEE, 1993. pdf
Hu, Alan J., J. Cases, and Jin Yang. "Efficient generation of monitor circuits for GSTE assertion graphs." ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No. 03CH37486). IEEE, 2003. -> 2
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi CAV 2001
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler TACAS 2001
Model Checking Synchronous Timing Diagrams Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi FMCAD 2000
Efficient Decompositional Model Checking for Regular Timing Diagrams Nina Amla, E. Allen Emerson, Kedar S. Namjoshi CHARME 1999
Timing Diagrams: Formalization and Algorithmic Verication Kathi Fisler 1998
Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming Cerny, Eduard, and Fen Jin. "Verification of real time controllers against timing diagram specifications using constraint logic programming." Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No. 99CB37040). IEEE, 1999.
D. Harel and G. Yashchin, "An Algorithm for Blob Hierarchy Layout", The Visual Computer 18:3 (2002), 164-185. PDF (Also, Proc. Working Conf. on Advanced Visual Interfaces (AVI'2000 ), Palermo, Italy, ACM Press, New York, May 2000, pp. 29-40.)
D. Harel, "On the Aesthetics of Diagrams", Proc. 1997 IEEE Symp. on Visual Languages (VL'97 ; invited paper), Capri, Italy, September 1997, pp. 128-130.
(Also, Proc. 4th Int. Conf. on Mathematics of Program Construction (MPC'98; invited paper), Lecture Notes in Computer Science, Vol. 1422 (J. Jeuring, ed.), Springer-Verlag, 1998, pp. 1-5.) D. Haran and D. Harel, "Knowledge-Charts: A Visual Formalism for Rule-Based Systems", Technical Report, The Weizmann Institute of Science, 1989.
D. Harel, "On Visual Formalisms", Comm. Assoc. Comput. Mach. 31:5 (1988), 514-530. PDF (Reprinted in Diagrammatic Reasoning (Chandrasekaran et al., eds.), AAAI Press and MIT Press, 1995, pp. 235-271, and in High Integrity System Specification and Design (Bowen and Hinchey, eds.), Springer-Verlag, London, 1999, pp. 623-657.)
D. Harel, "Statecharts: A Visual Formalism for Complex Systems", Sci. Comput. Programming 8 (1987), 231-274. PDF (Preliminary version: Technical Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.)
S. Maoz, A. Kleinbort and D. Harel, "Towards Trace Visualization and Exploration for Reactive Systems", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'07), 2007, pp. 153-156. PDF