D. Harel, A. Kantor, и S. Maoz. Concurrency, Compositionality, and Correctness, том 5930 из Lecture Notes in Computer Science, стр. 207-220. Springer, (2010)
B. Douglass, D. Harel, и M. Trakhtenbrot. European Educational Forum: School on Embedded Systems, том 1494 из Lecture Notes in Computer Science, стр. 368-394. Springer, (1996)
D. Harel, H. Kugler, и A. Pnueli. Formal Methods in Software and Systems Modeling, том 3393 из Lecture Notes in Computer Science, стр. 309-324. Springer, (2005)