B. Douglass, D. Harel, and M. Trakhtenbrot. European Educational Forum: School on Embedded Systems, volume 1494 of Lecture Notes in Computer Science, page 368-394. Springer, (1996)
D. Harel, A. Kantor, and S. Maoz. Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 207-220. Springer, (2010)
D. Barak, D. Harel, and R. Marelly. Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 66-86. Springer, (2003)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309-324. Springer, (2005)
D. Harel, H. Kugler, and G. Weiss. Scenarios: Models, Transformations and Tools, volume 3466 of Lecture Notes in Computer Science, page 26-42. Springer, (2003)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309--324. Springer-Verlag, Berlin, (2005)