1. Behavioral programming;Harel;Communications of the ACM,2012
2. Elyasaf A, Marron A, Sturm A, Weiss G. A context-based behavioral language for IoT. In: MODELS workshops. 2018, p. 485–94.
3. Bar-Sinai M, Elyasaf A, Sadon A, Weiss G. A scenario based on-board software and testing environment for satellites. In: The 59th Israel annual conference on aerospace sciences. 2019.
4. On-the-fly construction of composite events in scenario-based modeling using constraint solvers;Katz,2019
5. Provengo: A tool suite for scenario driven model-based testing;Bar-Sinai,2023