Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's | IEEE Conference Publication | IEEE Xplore