S. Maoz, A. Kleinbort, and D. Harel. VLHCC '07: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, page 153--156. Washington, DC, USA, IEEE Computer Society, (2007)
J. Greenyer, D. Gritzner, D. Harel, and A. Marron. MODELSWARD (Revised Selected Papers), volume 991 of Communications in Computer and Information Science, page 335-354. Springer, (2018)
D. Harel, and A. Marron. Adventures Between Lower Bounds and Higher Altitudes, volume 11011 of Lecture Notes in Computer Science, page 549-567. Springer, (2018)
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 A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)
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)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, page 309--324. Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel, Springer, (2005)