Werner Damm Jozef Hooman Bernhard Josko Hillel Kugler Iulian Ober Amir Pnueli Yuri Yushtein