Gera Weiss Department of Computer Science Ben Gurion University of The Negev.
Behavioral Programming Methodologies and Tools for Developing Reactive Systems
