Yoav Almog David Harel Avi Mendelson Micha Moffie Amir Pnueli Ronny Ronen Yiannakis Sazeides Ari Schmorak Naftali Schwartz Moshe Y. Vardi