Amir Pnueli (n.