David Harel, Amir Kantor. Modal Scenarios as Automata. In Nachum Dershowitz, Ephraim Nissan, editors, Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I. Volume 8001 of Lecture Notes in Computer Science, pages 156-167, Springer, 2014. [doi]
Abstract is missing.