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)