Time for Verification Essays in Memory of Amir Pnueli - Manna, Zohar; Peled, Doron A. (Theoretical Computer Science and General Issues, 2010)